OCaml package documentation

1. rocq-waterproof 3.1.1+9.0-dev