Make gh-pages.dart to generate index.html
Fix auto-generated index.html titles