OCaml package documentation

1. coq-waterproof 2.1.1+8.17