Changed the doxygen HTML output directory for convenience copying to the gh-pages branch.