This makes no visible difference.

I believe that -dtimings caused [make test] to fail by printing
output in *.ml.log, which was expected to be empty.

I believe this file was used to configure a pipeline
which creates an experimental webpage for Menhir.
The sources are in www/.
This pipeline currently fails and I don't want to spend time fixing it.

The SDK is treated like the RUNTIME LIBRARY.

This fixes [--interpret-show-cst], which was inadvertently broken and
did not work at all (assertion failure).

This allows using --interpret together with --strategy legacy
and --strategy simplified, as one wishes.