OCaml package documentation

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