HHVM: configure as default PHP

Zend PHP can be invoked with 'php5'.

Change-Id: I7765162c4337a9c1872dab5347023046f04d65f4
Merge "HHVM: configure as default PHP"