Change git bash prompt to use the git-contrib script