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

.Makefile.lint

.gitlab-ci.yml

Changelog

Makefile

configure.in

devel_tools/docker/frama-c.20.0/Dockerfile

devel_tools/docker/frama-c.21.0/Dockerfile

devel_tools/docker/frama-c.21.1/Dockerfile

devel_tools/docker/frama-c.dev/Dockerfile

doc/userman/user-changes.tex

doc/userman/user-report.tex

doc/userman/user-sources.tex

doc/userman/user-start.tex

ivette/src/dome/src/renderer/layout/forms.tsx

man/frama-c.1

man/frama-c.1.header

man/frama-c.1.md

nix/default.nix

nix/frama-ci.nix

share/Makefile.config.in