[e-acsl] update oracles

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

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

src/plugins/e-acsl/tests/builtin/oracle/strcmp.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strcpy.res.oracle

src/plugins/e-acsl/tests/builtin/oracle/strlen.res.oracle

...acsl/tests/concurrency/oracle/parallel_threads.res.oracle

.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle

...e-acsl/tests/examples/oracle/functions_contiki.res.oracle

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

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

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

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

src/plugins/e-acsl/tests/memory/oracle/mainargs.res.oracle

src/plugins/e-acsl/tests/memory/oracle/memalign.res.oracle

src/plugins/e-acsl/tests/temporal/oracle/t_getenv.res.oracle

src/plugins/e-acsl/tests/temporal/oracle/t_memcpy.res.oracle