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

share/Makefile.common

src/dune

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_internals/typing/frontc.ml

src/kernel_internals/typing/infer_annotations.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_services/abstract_interp/base.ml

src/kernel_services/abstract_interp/int_interval.ml

src/kernel_services/abstract_interp/int_val.ml

src/kernel_services/abstract_interp/offsetmap.ml

src/kernel_services/analysis/bit_utils.ml

src/kernel_services/analysis/dataflow2.ml

src/kernel_services/analysis/dataflows.ml

src/kernel_services/analysis/destructors.ml

src/kernel_services/analysis/interpreted_automata.ml

src/kernel_services/analysis/logic_interp.ml

src/kernel_services/ast_data/alarms.ml

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/property.ml