Rename doc/index.html to index.html