Doxygen update for gh-pages.

The initial import came from a stale dir. This is the current version.