These demos assume that Menhir, MenhirLib and MenhirSdk have been
installed and are available. They also require `dune`.

The demo `generate-printers` requires OCaml 4.03 or later.

The demo `coq-minicalc` requires Coq and `coq-menhirlib`.
