Merge branch 'master' into feature/dome/more-ts

.gitlab-ci.yml

Makefile

Makefile.generating

bin/frama-c-script

configure.in

doc/developer/advance.tex

headers/header_spec.txt

ivette/src/frama-c/dive/Dive.tsx

ivette/src/renderer/Application.tsx

nix/default.nix

nix/frama-ci.nix

share/Makefile.config.in

share/analysis-scripts/.gitignore

share/analysis-scripts/README.md

share/analysis-scripts/analysis.mk

share/analysis-scripts/cmd-dep.sh

share/analysis-scripts/epilogue.mk

share/analysis-scripts/examples/Makefile

share/analysis-scripts/examples/example-multi.mk

share/analysis-scripts/examples/example-slevel.mk