Fixes #37.  Fleshed out .bash_profile with more options.