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/erroneous/oracle/exec.res.oracle

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

...dic/tests/known/oracle/exec_failed_requirement.res.oracle

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

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

tests/libc/oracle/fc_libc.2.res.oracle

tests/libc/oracle/netdb_c.res.oracle

tests/libc/oracle/socket.0.res.oracle