OCaml package documentation

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