Rename demo.html to index.html for github pages