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

.git-blame-ignore-revs

headers/header_spec.txt

share/Makefile.common

share/libc/__fc_builtin.c

share/libc/__fc_runtime.c

share/libc/pwd.c

share/libc/pwd.h

src/dune

src/kernel_internals/typing/allocates.ml

src/kernel_internals/typing/asm_contracts.ml

src/kernel_internals/typing/cabs2cil.ml

src/kernel_internals/typing/cfg.ml

src/kernel_internals/typing/mergecil.ml

src/kernel_internals/typing/rmtmps.ml

src/kernel_internals/typing/substitute_const_globals.ml

src/kernel_internals/typing/unroll_loops.ml

src/kernel_services/abstract_interp/base.mli

src/kernel_services/abstract_interp/eva_lattice_type.ml

src/kernel_services/abstract_interp/float_interval.ml

src/kernel_services/abstract_interp/float_interval_sig.ml