Doxygen Documentation broken

As noted by Lasse Hirichsen, the Doxygen documentation is broken.

In particular it looks like Doxygen did not have access to the source code of any dune module when running, resulting in only the Main Page and Related Pages being present (although empty).