Fix WP part of public issue 25

See merge request frama-c/frama-c!2855

[Eva] Fixes parameters names in some messages and comments.

See merge request frama-c/frama-c!2849

[Kernel] add option -autocomplete-filter

See merge request frama-c/frama-c!2783

Allows iterating through _all_ plugin options, while keeping same list of
options for the GUI.

Typed parameters have two extra fields:
- visible: must be synchronized with the Cmdline.visible field;
- reconfigurable: to be shown in the GUI's "Analyses" panel.

iter_on_plugins (and fold_on_plugins) operate over all plugin options

Eva additional annotations and handling through API

See merge request frama-c/frama-c!2786

[Ptests] add -check flag immediately after binary name

See merge request frama-c/frama-c!2847

[eacsl] Support of active, complete and disjoint behaviors.

Closes e-acsl#27 and e-acsl#92

See merge request frama-c/frama-c!2607

- Rename `term_to_exp` and `predicate_to_exp` to `untyped_term_to_exp` and `untyped_predicate_to_exp` for the external API ;
- Update `untyped_predicate_to_exp` to raise an exception if the translation isn't possible ;
- Create functions `generalized_untyped_predicate_to_exp` and `predicate_to_exp` for internal use ;
- Remove `named_` prefixes ;
- Add an optional argument to `translate_predicate` to provide a secondary predicate to be used as mesage of the runtime check.