OCaml package documentation

1. alt-ergo 35c0f14
2. alt-ergo-lib 35c0f14