Merge branch 'feature/blanchard/instantiate/no-fail-on-function-pointers' into 'master'

src/plugins/instantiate/Makefile.in

src/plugins/instantiate/basic_blocks.ml

src/plugins/instantiate/stdlib/basic_alloc.ml

src/plugins/instantiate/stdlib/calloc.ml

src/plugins/instantiate/stdlib/free.ml

src/plugins/instantiate/stdlib/malloc.ml

src/plugins/instantiate/string/memcmp.ml

src/plugins/instantiate/string/memcpy.ml

src/plugins/instantiate/string/memmove.ml

src/plugins/instantiate/string/memset.ml

src/plugins/instantiate/tests/plugin/function_pointers.i

...tantiate/tests/plugin/oracle/function_pointers.res.oracle

src/plugins/instantiate/tests/stdlib/calloc.c

src/plugins/instantiate/tests/stdlib/free.c

src/plugins/instantiate/tests/stdlib/malloc.c

...plugins/instantiate/tests/stdlib/oracle/calloc.res.oracle

src/plugins/instantiate/tests/stdlib/oracle/free.res.oracle

...plugins/instantiate/tests/stdlib/oracle/malloc.res.oracle

src/plugins/instantiate/tests/stdlib/test_config

src/plugins/instantiate/tests/string/memcmp.c