web: Don't duplicate the html header.

Now that all web pages are in a single directory, we can get rid of
some duplication by using header.html also to create index.html.