Merge branch 'feature/andre/libc-various-fixes' into 'master'

headers/header_spec.txt

share/libc/__fc_inet.h

share/libc/__fc_runtime.c

share/libc/features.h

share/libc/glob.c

share/libc/locale.c

share/libc/math.h

share/libc/netdb.c

share/libc/netdb.h

share/libc/netinet/in.c

share/libc/stdlib.c

share/libc/string.c

share/libc/string.h

share/libc/sys/socket.h

src/plugins/e-acsl/tests/bts/oracle_ci/bts2252.res.oracle

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c

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

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

...plugins/e-acsl/tests/memory/oracle_ci/mainargs.res.oracle

src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c