Update phalcon.sh

On Ubuntu systems and probably any recent Debian based distribution, the .profile file is not read if a .bash_profile file exists.
So we need to check .bash_profile before .profile