Update index.php to be compatible with PHP 5.4 embedded server

Now the whole app can be served by typing "php54 -S 0.0.0.0:8080 index.php" from public.