Add index page for the documentation

I've enabled [the new GitHub documentation server](https://github.com/blog/2289-publishing-with-github-pages-now-as-easy-as-1-2-3), but we'll need to add index page to it.