OCaml package documentation

1. coq dev
2. coq-doc dev
3. coqide dev
4. coqide-server dev