Add coq 8.4pl4