Use Mako to generate index.html and index-prod.html

As discussed on the mailing list.

The generated HTML files are still located at the root directory. I know @fredj doesn't like it, but let's think about it and take care of it with a separate PR.