Remove outdated Doxygen

We have a Doxyfile and doxygen directory in the repository that were last updated 8 years ago. These are no longer used (there is barely anything in it), so I propose to remove them. They are easy enough to add back in if we ever want to make use of this.