Merge branch 'feature/chromium/beta-release' into 'stable/chromium'

INSTALL.md

README.md

VERSION

VERSION_CODENAME

doc/value/examples/parametrizing/context-width.log

doc/value/examples/parametrizing/loop-unroll-insuf.log

doc/value/examples/parametrizing/simple-main.log

opam/opam

reference-configuration.md

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_printing/printer_tag.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/cmdline_parameters/parameter_sig.mli

src/kernel_services/plugin_entry_points/kernel.mli

src/libraries/stdlib/extlib.mli

src/libraries/stdlib/integer.mli

src/plugins/e-acsl/doc/Changelog

src/plugins/gui/help_manager.ml

src/plugins/wp/Changelog