Merge branch 'add-wkey-cert-msc-37' into 'master'

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle

...ns/wp/tests/wp/oracle_qualif/stmtcompiler_test.res.oracle

tests/cil/oracle/bts297.res.oracle

tests/misc/oracle/bts0452.res.oracle

tests/slicing/oracle/use_spec.0.res.oracle

tests/slicing/oracle/use_spec.1.res.oracle

tests/syntax/oracle/exit.res.oracle

tests/syntax/oracle/inline_calls.0.res.oracle

tests/syntax/oracle/inline_calls.1.res.oracle

tests/syntax/oracle/inline_calls.2.res.oracle

tests/syntax/oracle/noret.res.oracle

tests/syntax/oracle/one_ret_assert.res.oracle

tests/syntax/oracle/vla_switch.res.oracle

tests/value/oracle/audit-out.json

tests/value/oracle/imprecise_invalid_write.res.oracle