[Coq] extract coqide into it's own package coqide

issue #805