Merge branch 'feature/andre/libc-some-coreutils' into 'master'

share/libc/fcntl.h

share/libc/sys/stat.h

share/libc/unistd.h

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

src/plugins/e-acsl/tests/format/oracle_ci/gen_fprintf.c

src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c

src/plugins/e-acsl/tests/format/oracle_ci/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