Merge branch 'feature/andre/libc-unistd-read' into 'master'

share/libc/unistd.h

...ns/e-acsl/tests/concurrency/oracle/gen_parallel_threads.c

...ugins/e-acsl/tests/concurrency/oracle/gen_threads_debug.c

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

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

src/plugins/value/engine/transfer_logic.ml

src/plugins/value/self.ml

src/plugins/value/self.mli

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

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

tests/libc/oracle/socket.1.res.oracle

tests/libc/oracle/unistd_h.0.res.oracle

tests/libc/oracle/unistd_h.1.res.oracle

tests/libc/unistd_h.c

tests/misc/oracle/audit-out.json

tests/value/oracle/initialized.res.oracle

tests/value/oracle/narrow_behaviors.res.oracle

tests/value/oracle/postcond_leaf.res.oracle