- was too aggressive on some use-cases

Update Frama-CI data

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

avoids dune/opam issue mentionned here: https://github.com/ocaml/dune/issues/5455

[Eva] Tail-recursive implementation of the WTO computation.

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

[ivette] Changes default views.

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

[ivette] fix PWD vs. Sys.getcwd pb. from Node

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

Resolve "[ivette] duplicate menu items (APP mode)"

Closes #1127

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

[ivette] Fixes the parsing of the Frama-C command-line on second instances.

Closes #1131

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

[Eva] Do not emit kernel warnings, emit Eva warnings instead

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

Uses a workaround to recover the original commandline of a second instance
after chromium messes with the argument order.
See https://github.com/electron/electron/issues/20322 for more details.

Resolve "[ivette] make install"

Closes #1115

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

[Logic] accepts integer/real as C fields

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

[configure] Accept packages with symbol '.' in the name.

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

[Eva] Fixes request getDeadCode for functions that have not been analyzed.

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

[Eva] API: exports analysis computation state and hook.

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

In Ivette, marks as unreachable the statements of functions whose body has not
been analyzed.

Sets the computation state [Computed] _after_ the domains are marked as computed:
avoids a crash from Db.Value access functions when the cvalue domain has not
been marked as computed.