Merge branch 'thibaut/bugfix/sums_gmp' into 'master'

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