Based on distributives laws

Credit to Virgile Prevosto

Credit to Basile Desloges

Removing all calls to `Bottom` functions on lists without changing the
semantic.

ensures  `user_directories.unix` cram test is stable across dune versions

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

[Eva] build the engine modules recursively

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

Valentin Perrelle authored 3 months ago and David Bühler committed 2 months ago

- the useful modules definitions are moved to Engine_sig
- the engine contains the modules circularly dependent on the
  engine
- every module circularly dependent on the engine receive the Engine
  as a functor parameter
- Analysis instanciate the Engine recursively

Feature/eva/improve messages

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

[Ivette] Fixes compilation verbosity

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

[Ivette] Properties : added filter for libc

Closes #1387

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

But still ensure the server API is always generated first.

[ci] Add patchShebang to frama-c.nix

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

The script `ivette/api.sh` with a shebang is run when building Frama-C
so a call to `patchShebang` in `frama-c.nix` is necessary so that the
shebang in the script is correctly handled by Nix in all cases.

Feature/andre/refactor pp dkeys

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

update release manual following 30.0 Zinc experience

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