This variant of the calc demo uses Menhir with the --table and --inspection
options. It illustrates how to inspect the intermediate states produced by
the parser.