[Coq] make the dependency between coqide and coq strict
[Coqide] add coqide 8.4pl4
Merge pull request #2195 from bobot/coqide.8.4pl4

Coqide.8.4pl4