Add updated Doxygen HTML pages