Add gh-pages update script.
Add index.html generator.
Generate index.html when updating github pages.