Source __git_ps1 if it's not defined

(Not everyone enables bash-completion in their profile, apparently)
Functions for turning off git details, if slow

It is very slow in Vagrant, due to vboxfs file system.