OCaml package documentation

1. alt-ergo 6125ee1
2. alt-ergo-lib 6125ee1