pipe output from doxygen to file for later analysis

We would like to check the status of our documentation during the CI. To this end, we could start simple and parse the output from the doxygen command. This requires to pipe this output to a file.