OCaml package documentation

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