OCaml package documentation

1. coq
2. coq-refman
3. coqide
4. coqide-server