.bash_prompt: Minor modifications to the bash prompt.