git-sh-setup: remove "sane_grep", it's not needed anymore