Add coqide 8.4pl4