OCaml package documentation

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