increase parser version

Makefile

-build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java
+build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java build.gradle
 	gradle createJar
 install: build/libs/TLA2B.jar
 	cp build/libs/TLA2B.jar ../../prob_prolog/lib/

build.gradle

@@ -33,10 +33,10 @@ configurations.all {
 
 def parser_version
 if (project.version.endsWith("-SNAPSHOT")) {
-	parser_version = '2.9.18-SNAPSHOT'
+	parser_version = '2.9.24-SNAPSHOT'
 }
 else {
-	parser_version = '2.9.17'
+	parser_version = '2.9.23'
 }
 
 def tlatools_version = '1.0.2'