Update to tla2bAST 1.1.3 and corresponding parsers

This is the last tla2bAST version compatible with Java 7. (Not that
anyone really cares probably...)

build.gradle

@@ -27,7 +27,7 @@ configurations.all {
 	resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
 }
 
-def parser_version = '2.9.14'
+def parser_version = '2.9.23'
 def tlatools_version = '1.0.2'
 
 dependencies {
@@ -43,7 +43,7 @@ dependencies {
 	//implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
 	testImplementation(group: 'junit', name: 'junit', version: '4.12')
-	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.0')
+	testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3')
 }
 
 java {