update .bash_profile

Add some user-dependent stuff ($PROMPT, $HOME)