removed antlr building from the build.sbt file as its not needed anymore
removed antlr building from the build.sbt file as its not needed anymore

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III