during the elimination of %inlined symbols.

Updated [Invariant.print] for this purpose.

which produces a token [SEMI]. The parser SEMI to appear in three places:
after a declaration; after a rule; after a producer. Only two grammars in
the test suite have required changes.

when bound to a wildcard pattern. Thus, avoid triggering OCaml's warning 9.

I attempted a release yesterday, but it was not compatible with OCaml 4.02.

as we need to annotate it with `%unreachable`
to declare that it is okay if it is unreachable.

Add a link from the manual to `standard.mly` in the repository.

a sentence (composed of terminal symbols) of minimal length generated
by `N`.

(wiping out any pre-existing file), even if there are in fact no conflicts.

which would cause an incompatibility with Coq > 8.8.1.
(Reported and corrected by Michael Soegtrop.)

New options --coq-lib-path and --coq-lib-no-path control this behavior.