Move bashrc customizations into bash_extras.
PS1 improvements