Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder

Changelog

doc/value/main.tex

headers/header_spec.txt

share/libc/sys/stat.h

src/kernel_services/abstract_interp/abstract_memory.ml

src/kernel_services/abstract_interp/abstract_offset.ml

src/kernel_services/abstract_interp/ival.ml

src/libraries/stdlib/transitioning.ml.in

src/libraries/stdlib/transitioning.mli

src/plugins/impact/pdg_aux.ml

src/plugins/metrics/register_gui.ml

src/plugins/users/users_register.ml

src/plugins/value/domains/cvalue/cvalue_transfer.ml

src/plugins/value/domains/multidim/abstract_memory.ml

src/plugins/value/domains/multidim/abstract_memory.mli

src/plugins/value/domains/multidim/abstract_offset.ml

src/plugins/value/domains/multidim/abstract_offset.mli

src/plugins/value/domains/multidim/abstract_structure.ml

src/plugins/value/domains/multidim/abstract_structure.mli

src/plugins/value/domains/multidim/multidim.ml