bash profile additions for custom prompt
setup script appends to bash_profile