bug#30397: Random numbers in grep mode-line

[Drew Adams]

> Yes, some adjustment is needed for grep.  That reminded me
> about two unclosed feature requests: bug#13417 and bug#14017
> that proposed to display these numbers also at the bottom of
> output buffers.  But the showstopper was to decide on the
> final format of such messages.  Although this looks good:
> 
>   Grep finished with 42 matches in 5 lines at Thu Jul 21 15:02:15
> 
> Than the mode-line will display two numbers: the number of matches
> and the number of matching lines (in green).

Is the total number of lines (in the search space) also
available?  If so, would that be useful?  Maybe something
like this?

Grep finished at Thu Jul 21 15:02:15 - 42 matches in 5/113 lines 
                                                      ^^^^