dot.bashrc: colours and prompt changes.