OCaml package documentation

1. coq dev
2. coq-core dev
3. coq-doc dev
4. coqide-server dev
5. rocq-core dev
6. rocq-devtools dev
7. rocq-prover dev
8. rocq-runtime dev
9. rocqide dev