Add color to bash prompt - for the rare case I actually use it