bump version to 3.1.2

extra/CHANGES.txt

@@ -1,3 +1,9 @@
+2014-??-??: 3.1.2
+
+	General improvements and optimizations:
+
+	all : cache file exist checks to speed up compilations with a lot of class paths
+
 2014-03-15: 3.1.1
 
 	New features:

main.ml

@@ -45,7 +45,7 @@ exception Abort
 exception Completion of string
 
 
-let version = 3101
+let version = 3102
 let version_major = version / 1000
 let version_minor = (version mod 1000) / 100
 let version_revision = (version mod 100)