Use PHP instead of HHVM for the server process

[samuell]

HHVM has very long warmup times, which might put new users off, and might also not be exactly as compatible with the MW code as PHP itself.