Fix dune-project

The generated comment in the dune-project file wasn't good. Also generate it in the workdir instead of the output dir instead.

enabled an automatic merge when the pipeline for 3cec02c3 succeeds

merged