Update git-grep documentation