My personal bash_profile, used for customizing Terminal