bashrc: Autoselect PS1 colors based on Gnome Terminal profile