Added support for LTL formulas + fairness conditions

build.gradle

src/main/java/de/b2tla/B2TLA.java

src/main/java/de/b2tla/B2TlaTranslator.java

src/main/java/de/b2tla/Globals.java

src/main/java/de/b2tla/Main.java

src/main/java/de/b2tla/analysis/AssignedVariablesFinder.java

src/main/java/de/b2tla/analysis/DefinitionsAnalyser.java

src/main/java/de/b2tla/analysis/DefinitionsOrder.java

src/main/java/de/b2tla/analysis/MachineContext.java

.../java/de/b2tla/analysis/MachineDeclarationsCollector.java

src/main/java/de/b2tla/analysis/MissingVariablesFinder.java

src/main/java/de/b2tla/analysis/TypeRestrictor.java

src/main/java/de/b2tla/analysis/Typechecker.java

...main/java/de/b2tla/analysis/UnchangedVariablesFinder.java

src/main/java/de/b2tla/exceptions/LTLParseException.java

src/main/java/de/b2tla/ltl/LTLBPredicate.java

src/main/java/de/b2tla/ltl/LTLFormulaPrinter.java

src/main/java/de/b2tla/ltl/LTLFormulaVisitor.java

src/main/java/de/b2tla/prettyprint/TLAPrinter.java

src/main/java/de/b2tla/tla/ConfigFile.java