OCaml package documentation

1. alt-ergo a22d216
2. alt-ergo-lib a22d216