rename into index.html so repo can be published through gh-pages