Updates test oracles: value becomes eva.

src/plugins/e-acsl/tests/bts/oracle/bts1304.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1324.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1390.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1395.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1740.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts1837.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2231.res.oracle

src/plugins/e-acsl/tests/bts/oracle/bts2252.res.oracle

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

...ugins/e-acsl/tests/full-mmodel/oracle/addrOf.0.res.oracle

...ugins/e-acsl/tests/full-mmodel/oracle/addrOf.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/arith.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/arith.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/array.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/array.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/at.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/at.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/cast.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/cast.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/comparison.0.res.oracle