git-gui: add grep tab