Bump coq version to 8.4pl4.