add bash_profile

Add a bash profile so that the $PATH variable is properly set regardless
of whether it's a shell login or not.