OCaml package documentation

1. coq-core dev
2. coqide-server dev
3. rocq-core dev
4. rocq-devtools dev
5. rocq-runtime dev
6. rocq-test-suite dev
7. rocqide dev