[e-acsl] update oracles

src/plugins/e-acsl/tests/arith/oracle/functions.res.oracle

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

src/plugins/e-acsl/tests/arith/oracle/gen_functions.c

src/plugins/e-acsl/tests/arith/oracle/gen_quantif.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c

src/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-149.c

src/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-187.c

src/plugins/e-acsl/tests/bts/oracle/gen_issue69.c

src/plugins/e-acsl/tests/gmp-only/oracle/gen_functions.c

src/plugins/e-acsl/tests/memory/oracle/gen_mainargs.c