Make code compile with dune trunk version (ie 3.0-git). This should include support for
dune 2.3.
Merge pull request #623 from robertk-iris/dune-3.0-compat

Make code compile with dune trunk version (ie 3.0-git). This should incl...