renamed the main page

(to avoid conflicts with the GitHub Pages index)

* Was this necessary, seeing as they're on different branches?