Add Coq IDE, version 8.4pl4