added work-specific .bash_profile as a git-sub-module.