Replace the content of the html folder by unzipping html.zip.

I have zipped the documentation since Doxygen changes every file each time it runs.

This makes viewing changes on GitHub difficult.