Import OCaml library sexplib into wip/ocaml-sexplib.

This OCaml library contains functionality for parsing and
pretty-printing S-expressions. In addition to that it contains a
preprocessing module for Camlp4 which can be used to automatically
generate code from type definitions for efficiently converting
OCaml-values to S-expressions and vice versa.
Add ocaml-sexplib.