Blindly accept all changes in doc and type of plugin-dev-guide-labelled
values since last time `make check-dev-guide` was successfully launched

the lexer and parser are broken beyond repair

references to constructors of sum type were not correctly taken into account

More specifically, preserve the underlying type name when analyzing type
constructors. Otherwise, correspondance with LaTeX index is lost.

Also do not forget to copy oracle in the `generated` directory

- clean up plugin files generated into lib/plugins after each run
- do not compile in dev mode (tutorial is not targeting a Frama-C dev env)
- ask ptests to abort in case of error, to make errors more visible

Having relative directories in the PATH is rarely a good idea.
Moreover, if the PATH is set as part of the sub-make command, it does
not seem to always be given to the `$(shell ...)` command. It is thus more
robust to set it explicitely _before_ launching the sub-`$(MAKE)`

`State_selection` has its signature embedded into signature `S`, shared
with submodule `Static`, marked as deprecated since 2012. If #1103 is
fixed, we can revert this commit.

With the current checks, indexing `M.s` where `s` is in fact
`include`d in `M`'s signature can't be done with
`\scodeidx{M}{s}`: you can only refer to `\codeidx{M}` and
`\scodeidx{I}{s}` where `I` is the module where `s` actually appears.

Changes seems to have taken place for 18.0-Argon according to the
comments on the relevant functions