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
Merge pull request #48 from svanpoeck/patch-1

Update phalcon.sh