Nicer documentation index.

This restores the static index.html file (we had one a little while ago
but somehow lost it) rather than have doc/Makefile generate one. This
makes it easier to use CSS formatting.