Updated (now actually working) Doxyfile

The old one was for a reeeally old Doxygen version that doesn't work properly anymore.