[eacsl] Update oracles

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

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

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

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

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

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

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

...plugins/e-acsl/tests/bts/oracle/issue-eacsl-40.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/gen_strcat.c

...ins/e-acsl/tests/builtin/oracle_dev/strcat.e-acsl.err.log

src/plugins/e-acsl/tests/constructs/oracle/gen_loop.c

src/plugins/e-acsl/tests/constructs/oracle/loop.res.oracle

src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle

src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c

src/plugins/e-acsl/tests/format/oracle/gen_printf.c

src/plugins/e-acsl/tests/format/oracle/printf.res.oracle

src/plugins/e-acsl/tests/format/oracle/sprintf.res.oracle

...ins/e-acsl/tests/format/oracle_dev/fprintf.e-acsl.err.log

...gins/e-acsl/tests/format/oracle_dev/printf.e-acsl.err.log

src/plugins/e-acsl/tests/libc/oracle/file.res.oracle