Merge branch 'master' into feature/ivette/bullets

.gitignore

bin/build-src-distrib.sh

devel_tools/docker/frama-c.22.0/Dockerfile

devel_tools/docker/frama-c.custom/Dockerfile

devel_tools/docker/frama-c.dev/Dockerfile

devel_tools/git-hooks/pre-commit

doc/build-manuals.sh

doc/release/branch.tex

doc/release/build.tex

doc/release/checktar.sh

doc/release/website.tex

headers/header_spec.txt

ivette/api/generated/kernel/ast/index.ts

ivette/api/generated/plugins/eva/general/index.ts

ivette/src/dome/src/renderer/frame/sidebars.tsx

ivette/src/dome/src/renderer/frame/style.css

ivette/src/renderer/Globals.tsx

ivette/src/renderer/style.css

opam/opam

share/analysis-scripts/analysis.mk