Add Coq IDE, version 8.4pl4

Closes #5123.