[tests] update oracles wrt kernel and Eva's changes

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.err.oracle

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

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

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

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

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

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

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