Rename index to fix broken home page

In a previous commit, index.html had been renamed to index.js, to indicate JavaScript content. However, this broke the automatic home page redirection, so that renaming was reverted back to index.html.