Support for menhir flags "--dump" and "--dump-resolved"

[MSoegtropIMC]

Desired Behavior

Since menhir actions are sandboxed, the created automaton files are not copied when one gives the --dump or --dump-resolved flags. Either one has to call menhir manually to create these files or one needs support in dune for this.

See also this zulip discussion

Example

dune-project:

(lang dune 3.15)
(using menhir 3.0)
:

dune:

:
(menhir
  (modules parser)
  (flags --dump --trace --dump-resolved)
)
: