Commits
-------

197d2400 Fix PHP 5.4 built-in webserver front controller

Discussion
----------

Fix PHP 5.4 built-in webserver front controller

The problem is that with `php -S localhost:8080 -t web` it will only route
one level of paths to index.php. This is stupid, but requires us to use
a router script, which means that we must specify `index.php` and have
that script return false when the web server should serve from disk.

Thanks to @schokocappucino for the hints.