[aorai] remove support for LTL and Promela

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

[CI] Automatically run eva-domains tests on branches satisfying the regex *[-_/.][Ee]va[-_/.]*

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

[Dome] Use only safe decoders and throw exceptions when the decoded json mismatches

Closes #1092

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

has not been used since years, depends on really old software

[Eva] multidim: fix comparison operators

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

[Eva] Exports new function [assigns_tlval_to_zones] in Eva.Logic_inout.

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

Intented to replace calls to Db.Properties.Interp.loc_to_loc*, used by
the inout and from plugins.

- stricter conversion of tuples (checks list size)
- stricter conversion of integers (checks that there is no fractional part)
- jCatch only catches JsonErrors
- more detailed error messages to debug the server interface
- jUnion works more often
- fixed several mistyping

[Eva] Fixes a crash on recursive functions with a specification but no assigns.

Closes #1162

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

[Cil builder] Improve support for variadic and extends supported features

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

[Eva] update Metrics log in tutorial; add item to FAQ

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

Update analysis scripts for new features

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

[Kernel] JCDB: improve parsing of quoted arguments

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