Rename documentation.html to index.html