[Eva] Better interpretation of successive split annotations

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

Rationing of states is only applied on statement vertices. When no rationing
is performed, all states are propagated with a unique key. In this case, it is
useless to try to join duplicate keys, or to join states with previous states
from the same key.

Also, all partitioning actions that only depend on the vertex statement are
created in the [empty_store] for a vertex, and not in the [join] function.

A skip statement is created on each split annotation: do not ration
states on them to avoid meddling in successive split directives.

Only "subdivide" and "eva_allocate" directives have an effect on the
interpretation of the following statement, and thus must be registered with
[register_code_annot_next_stmt].

Other Eva directives are registered with [register_code_annot], which avoids
creating Cil blocks on successive annotations.

[ivette] close server process

Closes #1256

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

[Ivette] Fixes EvaRead panel on aborted Eva analyses.

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

[ivette] Allows launching Ivette with electron option --no-sandbox.

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

Unify types for symbol lookup context

Closes #1211

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

Resolve "Custom views non sauvegardées"

Closes #1255

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

[make] ivette depends on frama-c

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

This reverts commit 385a2ff4.

This reverts commit b750ac5b.

[ivette] Fixes field button on key press (return or escape).

Closes #1254

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

[Callgraph] Add an Ivette component to display service graphs

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