prompt.sh now sources Util/git-prompt.sh rather than ~/.git-prompt.sh