Remove Gradle ANTLR plugin and manual ANTLR dependency
Remove Gradle ANTLR plugin and manual ANTLR dependency

ltl-pattern-parser now properly depends on the ANTLR runtime libraries,
so we no longer need to do this by hand.

bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui,bendisposto/prob2-ui