dev-lang/coq: Nicer exlib, use emagicdocs

Reported by moben
dev-lang/ocaml: Cosmetic fix in exlib; use emagicdocs

Reported by moben
dev-lang/ott: Cosmetic fixes

Reported by moben