[Coq] extract coqide into it's own package coqide
Merge pull request #831 from bobot/coqide

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