bash profile: colored PS1 prompt