Merge branch 'feature/basile/gcc-builtins' into 'master'

.Makefile.lint

.git-blame-ignore-revs

Makefile

bin/migration_scripts/titanium2vanadium.sh

headers/header_spec.txt

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/analysis/destructors.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/printer.ml

src/kernel_services/ast_queries/ast_info.ml

src/kernel_services/ast_queries/ast_info.mli

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_builtins.ml

src/kernel_services/ast_queries/cil_builtins.mli

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/file.mli

src/kernel_services/visitors/visitor.ml

src/kernel_services/visitors/visitor.mli