bashrc: change colour of prompt when on ssh.