Add Coq 8.4pl4

As a solution for #2161, this commit adds Coq 8.4pl4 (newest version at 2014/06/03) to opam-repository.