Merge remote-tracking branch 'origin/stable/zinc'

.gitlab-ci.yml

Changelog

INSTALL.md

VERSION

VERSION_CODENAME

doc/developer/changes.tex

doc/userman/user-changes.tex

opam

reference-configuration.md

src/kernel_internals/parsing/cparser.mly

src/kernel_internals/runtime/machdep.mli

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/logic_builtin.mli

src/kernel_services/analysis/dominators.mli

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_data/machine.mli

src/kernel_services/ast_printing/cabs_debug.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_printing/cil_printer.mli