Doxyfile.in: Remove obsolte doxygen tags from all our Doxyfile.in files.