bashrc: colored prompt