Merge branch 'ws/grep-quiet-no-pager'

Even though "git grep --quiet" is run merely to ask for the exit
status, we spawned the pager regardless.  Stop doing that.

* ws/grep-quiet-no-pager:
grep: fix "--quiet" overwriting current output

diff --cc builtin/grep.c
Simple merge