Merge branch 'release/1.0.3'

.travis.yml

build.gradle

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/Translator.java

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

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

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

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

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

...java/de/tlc4b/analysis/transformation/SeesEliminator.java

...4b/analysis/transformation/SetComprehensionOptimizer.java

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

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

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

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

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

src/test/java/de/tlc4b/prettyprint/SyntaxExtensionsTest.java

src/test/java/de/tlc4b/typechecking/TestTypechecker.java

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