added a new cli parser

build.gradle

src/main/java/de/tla2b/TLA2B.java

src/main/java/de/tla2b/analysis/SpecAnalyser.java

src/main/java/de/tla2b/analysis/SymbolRenamer.java

src/main/java/de/tla2b/analysis/TypeChecker.java

src/main/java/de/tla2b/global/TranslationGlobals.java

src/main/java/de/tla2b/output/ASTPrettyPrinter.java

src/main/java/de/tla2b/output/PrologPrinter.java

src/main/java/de/tla2b/output/TlaTypePrinter.java

...main/java/de/tla2b/translation/UsedDefinitionsFinder.java

src/main/java/de/tla2b/types/FunctionType.java

src/main/java/de/tla2b/types/SetType.java

src/main/java/de/tla2b/types/StringType.java

src/main/java/de/tla2b/types/TupleOrFunction.java

src/main/java/de/tla2bAst/Translator.java

src/test/java/de/tla2b/examples/RegressionTests.java

src/test/java/de/tla2b/typechecking/StringTest.java

src/test/java/de/tla2b/util/TestUtil.java

src/test/resources/regression/DefCapture/DefCapture.mch

src/test/resources/regression/DefCapture/DefCapture.tla