[Tests] preparation for the merge of master about the new machdep

tests/builtins/big_local_array.i

tests/builtins/test_config

tests/builtins/test_config_apron

tests/builtins/test_config_bitwise

tests/builtins/test_config_equalities

tests/builtins/test_config_gauges

tests/builtins/test_config_octagons

tests/builtins/test_config_symblocs

tests/cil/mkBinOp.i

tests/cil/test_config

tests/constant_propagation/test_config

tests/float/sqrt.c

tests/impact/test_config

tests/journal/control2.c

tests/journal/intra.i

tests/libc/coverage.c

tests/libc/fc_libc.c

tests/libc/limits_h.c

tests/libc/more_gcc_builtins.c

tests/libc/stdlib_h.c