update test oracles

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

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

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

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

src/plugins/e-acsl/tests/builtin/oracle/strcat.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

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/variadic/tests/known/oracle/fcntl.res.oracle

src/plugins/variadic/tests/known/oracle/open.res.oracle

...plugins/variadic/tests/known/oracle/open_wrong.res.oracle

src/plugins/variadic/tests/known/oracle/openat.res.oracle

src/plugins/variadic/tests/known/oracle/printf.res.oracle

...variadic/tests/known/oracle/printf_wrong_arity.res.oracle

tests/libc/oracle/fc_libc.0.res.oracle

tests/libc/oracle/fc_libc.1.res.oracle