Pretty-printing of object and function types.
Unify abstract and structured representations.
Expose the camlint type in the public interface.
Finalisers for ctypes-allocated memory.
Tests for ctypes finalisers.
Merge branch 'master' of github.com:ocamllabs/ocaml-ctypes
Merge branch 'master' into bigarray