Merge branch 'feature/andre/eva-eval-memchr_off' into 'master'

share/libc/__fc_string_axiomatic.h

src/plugins/value/domains/cvalue/builtins_string.ml

src/plugins/value/domains/cvalue/builtins_string.mli

src/plugins/value/legacy/eval_terms.ml

tests/builtins/memchr.c

tests/builtins/oracle/memchr.res.oracle

tests/builtins/oracle/str_allocated.res.oracle

tests/libc/memchr_off.c

tests/libc/oracle/memchr_off.res.oracle

tests/libc/oracle/wchar_c_h.0.res.oracle

tests/libc/oracle/wchar_c_h.1.res.oracle

tests/libc/oracle/wchar_h.res.oracle