Publish remaining doxygen-generated html files.

Cause of HTTP code 411 when pushing files is a git-imposed limit on HTTP post requuest size. Fix is to increase the limit by:

git config http.postBuffer 100000000