Merge branch 'master' into feature/ivette/tip

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

ivette/src/renderer/Laboratory.tsx

ivette/src/renderer/style.css

nix/mk_tests.nix

opam

src/kernel_internals/parsing/clexer.mll

src/kernel_internals/parsing/cparser.mly

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/frontc.ml

src/kernel_internals/typing/frontc.mli

src/kernel_services/ast_printing/cabs_debug.ml

src/kernel_services/ast_printing/cprint.ml

src/kernel_services/ast_printing/cprint.mli

src/kernel_services/ast_queries/cil.ml

src/kernel_services/cmdline_parameters/parameter_builder.ml

src/kernel_services/cmdline_parameters/parameter_sig.ml

src/kernel_services/parsetree/cabs.ml

src/kernel_services/parsetree/cabshelper.ml

src/kernel_services/visitors/cabsvisit.ml

src/libraries/utils/bag.ml