updated coq version to 8.4pl2

Closes #18999.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
libantlr3c: update URLs

Closes #18999.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>