grep --no-index: allow use of "git grep" outside a git repository