Add routing script for the builtin PHP web server

Now the application can be started by using

    php -S 127.0.0.1:8000 builtin.php

from the command line.