OCaml package documentation

1. coq-waterproof 2.2.0+8.17