Adding index.html in branch gh-pages for github-hosted doc