Updated documentation for the ANTLR 4.2 release