Point people to git-grep's man page directly.

As we are talking about the tool and not an exact command to use, it
feels more helpfull to give a link to the man page.