Import ocaml library type_conv into wip/ocaml-type_conv.

The `type_conv` mini-library factors out functionality needed by
different preprocessors that generate code from type specifications.
Add ocaml-type_conv.