improvements for bash_profile, esp since history wasn't being read in correctly for new shell

Note also that I was seeing SSL errors upon git push, which can be solved by adding the following to .gitconfig:

[http]
sslverify = false