Merge branch 'master' into feature/ivette/sidebar-filters

.Makefile.lint

.git-blame-ignore-revs

.gitlab/issue_templates/bug_report.md

Changelog

Makefile

bin/migration_scripts/titanium2vanadium.sh

doc/pdg/main.tex

doc/slicing/main.tex

headers/header_spec.txt

ivette/src/dome/src/main/menubar.ts

ivette/src/dome/src/renderer/controls/labels.tsx

ivette/src/dome/src/renderer/dome.tsx

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

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

ivette/src/renderer/Application.tsx

ivette/src/renderer/Globals.tsx

ivette/src/renderer/Properties.tsx

share/analysis-scripts/analysis.mk

share/analysis-scripts/make_wrapper.py

src/kernel_internals/typing/cabs2cil.ml