coq: 8.4pl2 -> 8.4pl3

Also add myself to the maintainer list.