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.
Merge pull request #49 from svanpoeck/patch-2

Update phalcon.sh