Modify cmake so that doxygen places html doc in gh-pages repo.