Merge branch 'develop'

.gitignore

build.gradle

gradle/wrapper/gradle-wrapper.jar

gradle/wrapper/gradle-wrapper.properties

gradlew

src/main/java/de/tlc4b/TLC4BGlobals.java

src/main/java/de/tlc4b/TLCRunner.java

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

src/main/java/de/tlc4b/analysis/Renamer.java

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

...n/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java

...de/tlc4b/analysis/transformation/DefinitionCollector.java

.../tlc4b/analysis/transformation/DefinitionsEliminator.java

...ava/de/tlc4b/analysis/typerestriction/TypeRestrictor.java

src/main/java/de/tlc4b/btypes/EnumeratedSetElement.java

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

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

src/main/java/de/tlc4b/tla/config/ConfigFileAssignment.java

src/main/java/de/tlc4b/tla/config/ModelValueAssignment.java

.../java/de/tlc4b/tla/config/SetOfModelValuesAssignment.java