Fix dune.module file to be compatible with website
The dune.module parser of the website does not support the pipe sign to separate maintainers, so use the more standard comma instead. Without this change, the website build process breaks.
The dune.module parser of the website does not support the pipe sign to separate maintainers, so use the more standard comma instead. Without this change, the website build process breaks.