Support for passing OCaml strings directly to C in generated stubs

Update the stub-generation backend with support for passing OCaml strings directly to C.

This is an extension of #143.