bash_profile alias for editing and sourcing