Ignore build directories in CtrlP.
Improved the colouring of the git branch information in Bash's PS1.

  * It's now red if you have any untracked files.
  * Yellow can mean eiher "not pushed" or (new) "not pulled".
  * Blue means "no remote".