Fixing Doxygen documentation generation

There used to be a Doxyfile so old that it didn't work anymore. I fixed that, and a bunch of warnings when generating the docs.