Updated build script.

We are dropping compatability with PHP 5.3, because the new GEWIS server
runs on PHP 5.4