Add gitlab CI checks for doxygen
Now that 1.6 beta is being prepared, we managed to get the number of doxygen warnings down to 0. We should use that opportunity to enable doxygen checks in CI and prevent any code that adds new warnings from being merged.