Fix outdated version number in TranslationGlobals

This has stayed at 1.0.8 for the past 8 years. Oops.

src/main/java/de/tla2b/global/TranslationGlobals.java

@@ -6,7 +6,7 @@ import java.util.Arrays;
 import tla2sany.semantic.FrontEnd;
 
 public interface TranslationGlobals {
-	final String VERSION_NUMBER = "1.0.8";
+	final String VERSION_NUMBER = "1.1.5-SNAPSHOT";
 
 	final int TLCValueKind = 100;