Merge branch 'master' into feature/wp/region-analysis

Changelog

Makefile.generating

opam/opam

share/libc/__fc_select.h

share/libc/signal.h

share/libc/stropts.h

share/libc/sys/time.h

share/libc/time.h

src/kernel_internals/runtime/special_hooks.ml

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/cmdline_parameters/parameter_builder.ml

src/kernel_services/cmdline_parameters/parameter_sig.mli

src/kernel_services/plugin_entry_points/dynamic.ml

src/kernel_services/plugin_entry_points/dynamic.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/kernel_services/plugin_entry_points/plugin.ml

src/libraries/project/project.ml

src/libraries/project/project.mli

src/libraries/stdlib/transitioning.ml.in