updated coq version up-to-date and fixed the download link of libantlr3c

1. the new version of coq (8.4pl2) has been released.

2. libantlr3c download link has been broken
  The domain name has been changed from antlr.org to antrl3.org.