[Doxygen] Generate Doxygen tag files

Doxygen tag files are a metadata format that can be used to export data about contained documentation snippets to link to them from the outside. Enabling this only adds the creation of an additional file, the rest of the Doxygen procedure should be unaffected. More info can be found here: https://www.doxygen.nl/manual/external.html