update ANTLR URLs (antlr.org -> antlr3.org)