Type-safe OCaml bindings to LLVM

I have a complete version that works on older LLVM, currently upgrading
it for release 3.3. Here the core is mostly done.

I also have plenty of documentation about these bindings, coming soon.