use shorter syntax
move customization from bash_profile to bashrc

Details:
this fixes the annoying feature for which on my laptop I'd get my
custom settings only on the login shell. See bash man page and
stackoverflow.  Once again: RTFM, Davide.
Merge branch 'master' of github.com:davidegerbaudo/dotfiles