Merge branch 'feature/e-acsl/dune-tests' into 'feature/bobot/jbuilder'

nix/frama-c.nix

nix/main-tests.nix

nix/plugins-tests.nix

src/plugins/e-acsl/.gitignore

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

src/plugins/e-acsl/dune

src/plugins/e-acsl/dune-project

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

src/plugins/e-acsl/tests/builtin/dune

src/plugins/e-acsl/tests/builtin/strcat.c

src/plugins/e-acsl/tests/builtin/strcmp.c

src/plugins/e-acsl/tests/builtin/strcpy.c

src/plugins/e-acsl/tests/builtin/strlen.c

src/plugins/e-acsl/tests/dune

src/plugins/e-acsl/tests/format/dune

src/plugins/e-acsl/tests/format/fprintf.c

src/plugins/e-acsl/tests/format/printf.c

src/plugins/e-acsl/tests/ptests_config

src/plugins/e-acsl/tests/test_config

src/plugins/e-acsl/tests/test_config_dev