add antlr3-link.patch to fix cvc4's contrib/get-antlr-3.4 script to use new antlr3 url