Move Doxyfile to root directory of master branch.

The configuration file is not really needed in the gh-pages branch, which
only serves to collect the Doxygen output.