rename demo.html to index.html for Github pages