Added source code positions

build.gradle

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

src/main/java/de/tla2b/config/ModuleOverrider.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

src/main/java/de/tla2bAst/BAstCreator.java

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

src/test/resources/test/Data1.tla

src/test/resources/test/Instance.cfg

src/test/resources/test/Instance.tla

src/test/resources/test/Rules.tla