bash git-completion script