Merge branch 'master' into feature/ivette/file_name_in_source_code_component

src/libraries/stdlib/integer.ml

src/libraries/stdlib/integer.mli

src/libraries/utils/floating_point.ml

src/libraries/utils/json.mli

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/headers/header_spec.txt

src/plugins/e-acsl/src/analyses/bound_variables.ml

src/plugins/e-acsl/src/analyses/logic_normalizer.ml

src/plugins/e-acsl/src/analyses/logic_normalizer.mli

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/analyses/typing.mli

src/plugins/e-acsl/src/code_generator/injector.ml

src/plugins/e-acsl/src/code_generator/translate.ml

src/plugins/e-acsl/tests/arith/extended_quantifiers.c

...e-acsl/tests/arith/oracle/extended_quantifiers.res.oracle

...gins/e-acsl/tests/arith/oracle/gen_extended_quantifiers.c

src/plugins/e-acsl/tests/gmp-only/extended_quantifiers.i

...csl/tests/gmp-only/oracle/extended_quantifiers.res.oracle

...s/e-acsl/tests/gmp-only/oracle/gen_extended_quantifiers.c

...s/gmp-only/oracle_dev/extended_quantifiers.e-acsl.err.log