Merge branch 'stable/nickel'

.gitlab-ci.yml

bin/frama-c-build-scripts.sh

bin/frama-c-script

dev/build-release.sh

doc/developer/Makefile

doc/eva/main.tex

nix/frama-c-public/check-release.sh

nix/manuals.nix

src/plugins/alias/options.ml

src/plugins/e-acsl/contrib/libdlmalloc/Makefile

src/plugins/e-acsl/tests/bts/issue-eacsl-40.c

...ugins/e-acsl/tests/bts/oracle/issue-eacsl-40.1.res.oracle

...lugins/e-acsl/tests/bts/oracle/issue-eacsl-40.out.frama.c

...plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle

src/plugins/e-acsl/tests/test_config_dev

src/plugins/wp/LogicCompiler.ml

src/plugins/wp/Pattern.ml

...ns/wp/tests/wp_acsl/oracle/user_def_type_guard.res.oracle

...ts/wp_acsl/oracle_qualif/user_def_type_guard.2.res.oracle

src/plugins/wp/tests/wp_acsl/user_def_type_guard.i