reorganize dotfiles into a more 'sane' format: common variables and paths in .profile, bash-specific customizations in .bash_profile | bash_profile itself sources the .profile and .bashrc files, so that bashrc is executed for login and non-login shells