Updating to latest version of KeY, and latest supported version of Antlr.