Update phalcon.sh

On Ubuntu and probably any recent Debian-based distro, the .profile file is not read if a .bash_profile file exists.
So better write the PTOOLSPATH to .bash_profile first.