OCaml package documentation

1. alt-ergo d99264b
2. alt-ergo-lib d99264b
3. alt-ergo-parsers d99264b
4. alt-ergo-plugin-ab-why3 d99264b