Merge branch 'feature/libc/s2opc-extensions' into 'master'

share/libc/__fc_gcc_builtins.h

share/libc/stdio.h

share/libc/time.h

src/kernel_internals/typing/cabs2cil.ml

src/plugins/e-acsl/tests/bts/oracle/gen_issue-eacsl-40.c

...ugins/e-acsl/tests/bts/oracle/issue-eacsl-40.0.res.oracle

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

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

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

src/plugins/e-acsl/tests/libc/oracle/gen_file.c

...plugins/variadic/tests/erroneous/oracle/printf.res.oracle

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

...variadic/tests/known/oracle/printf_garbled_mix.res.oracle

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

...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle

...variadic/tests/known/oracle/printf_wrong_types.res.oracle

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

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

...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle

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