Bug#1128515: Updating the coq Uploaders list

[bbaren]

For reference, Stéphane removed me in commit 
e4880a08fa9c8b22ad0b4ffbda0ce053f2b56a72
(https://salsa.debian.org/ocaml-team/coq/-/commit/e4880a08fa9c8b22ad0b4ffbda0ce053f2b56a72).