[wp] Removes a test related to native Alt-Ergo

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

[Eva] Updates test oracles for alternative domains

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

The octagon domains improves the precision on the first run, with unsufficient
automatic loop unrolling — but not on the second run.
The gauges domain improves the precision on both runs.

Make the dependency of MdR towards Eva optional

Closes #980

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

Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago

`Dynamic.load_module` does not know about Findlib's subpackages 

Improve Frama-C distribution creation

Closes #984

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

[slicing] restoring some tests

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

add JSON cache and merge functions

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

[Eva] Fixes a crash in the subdivision of evaluation

Closes pub/frama-c#45

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

[Dev] add Dockerfile for 22.0 and fixes to dev/custom

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

[tests] remove lines with colored output from test oracle

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