[ACSL] Type var of polymorphic inductives are not in scope in cases anymore

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

[Ivette] Improves editor scrolling in SourceCode and ASTview.

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

[ivette] refactor useSyncArray

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

[Dive] Rewrites the conversion of graphs to json.

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

[Eva] Fixes the registered cvalue initial state for functions.

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

On calls to Frama_C_show_each directives, the current cvalue state was added
as initial state of the current function instead of Frama_C_show_each.

As there is no need to register initial states of such  directives anyway,
this commit simply removes this erroneous registration.

[doc] add Landmarks profiling instructions for external plug-ins

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

add headache config for default dune workspace file

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

[gui] remove GTK2 support

Closes #1166

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

fixes menhir warnings

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

[wp] fix internal doc of smoke-tests

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

Scroll to center selected element, but only if it is not already visible.

[Ivette] ASTview: adds a contextual menu entry 'copy to clipboard'.

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

[server] Marker attributes: the position is an option, as it can be unknown.

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

Fixes a bug of the SourceCode component where the view is empty on markers
with unknown position, for instance on type markers.
Now, when selecting a type marker, the view displays the top of the current
function, which is not perfect, but better.

[ivette] fix synchro in useSyncArray

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

[Ivette] Dome sidebar: makes section headers sticky.

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

[Ivette] Improves function filtering in the left sidebar

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

If the selected function does not satisfy the current filter, do not display it.

Adds filters for intern or extern functions.
Adds the possibility to see only undefined functions or functions unreached
by the Eva analysis.

Also uses Kernel_function.is_in_libc.