Fix #5. All html files in the web output module now have a common header.html file that defines what the top of the page will be.