OCaml package documentation

1. coq dev
2. coq-core dev
3. coq-doc dev
4. coq-stdlib dev
5. coqide dev
6. coqide-server dev