coq: 8.4pl2 -> 8.4pl3

Signed-off-by: Austin Seipp <aseipp@pobox.com>
coq: add myself to maintainer list.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs

coq: 8.4pl2 -> 8.4pl3