Merge branch 'feature/andre/calloc-builtins' into 'master'

share/libc/__fc_builtin.h

share/libc/stdlib.h

src/kernel_services/analysis/bit_utils.mli

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

src/plugins/value/domains/cvalue/builtins_malloc.mli

src/plugins/value/legacy/eval_terms.ml

tests/float/oracle/builtins.res.oracle

tests/float/oracle/cond.res.oracle

tests/float/oracle/nonlin.0.res.oracle

tests/float/oracle/nonlin.1.res.oracle

tests/float/oracle/nonlin.2.res.oracle

tests/float/oracle/nonlin.3.res.oracle

tests/float/oracle/precise_cos_sin.res.oracle

tests/libc/oracle/fc_libc.0.res.oracle

tests/libc/oracle/fc_libc.1.res.oracle

tests/libc/oracle/stdlib_c.0.err.oracle

tests/libc/oracle/stdlib_c.0.res.oracle

tests/libc/oracle/stdlib_c.1.err.oracle

tests/libc/oracle/stdlib_c.1.res.oracle

tests/libc/stdlib_c.c