See #2586.
Avoids issues when running WSLg under Ubuntu 20.04, with lablgtk3, on
Wayland, due to missing cursors (such as ARROW).

This function returns the most precise localizable that contains the given
Filepath.position. It is now also needed by the server plugin.

Registers all messages in the queue, and not only warnings and errors. Modifies
the GTK GUI to only show warnings and errors in the "Messages" panel.
Uses a Queue instead of a List, to iterate on messages in emission order.
Also exports [fold] on messages.

Andre Maroneze authored 4 years ago and Julien Signoles committed 4 years ago

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

this is a generalization of `check` vs. `assert` to other annotations. Not all
annotations are relevant though. Currently, there are more annotation nodes in
the AST that can have a flag `{ tp_only_check }` than was deemed useful in
pub/frama-c#25, but said flag can in fact safely be ignored. Moreover, this
commit only add this flag in the AST, but provides no further mean to set it to
true except for the original `check` keyword (i.e. on `AAssert`). The parser
and the behavior of the plugins that can handle the flag will be updated in
subsequent commits