Rename files to allow operation under PHP-FPM

Having files which don't end up .php makes configuration under PHP-FPM
quite problematic. We can map the URL to the right script in the web
server configuration.