Add Coq 8.4pl4
Merge pull request #2186 from cocoatomo/PR/coq.8.4pl4

Add Coq 8.4pl4