Prepare export of the documentation on gh-pages

The content under doc/html will be the webroot of the associated
gh-pages page. To facilitate this, the gh-pages branch is checked out
and ignored under doc/html. Doxygen generates its output under
doc/html/doxygen/.