Fix extension for directory index file.

The directory index file on GitHub pages seems to be the standard
index.html.