adding top-level index.html page

For now, just a manual copy of site/pages/index.html with "../" in paths
replaced by "site/". Once I see how GitHub Pages acts in practice, I may
need to change this around.