Add Coq IDE, version 8.4pl4
Merge pull request #5124 from vitorgalvao/fix-5123

Add Coq IDE, version 8.4pl4