Resolve "doxygen via pipeline"
Closes #118 (closed) . The zip file with everything is available here: https://git.physik.uni-wuerzburg.de/ALF/ALF/-/jobs/artifacts/118-doxygen-via-pipeline/download?job=create_doxygen
Of course that link changes slightly if we choose to merge it.