Several improvements for usage with jenkins
made ubuntu.install.sh run the php/install.sh script instead of installing php on its own.