increment version

Former-commit-id: bdce83974faaedadcaada2aba658925e98de4ebd

VERSION.txt

@@ -3,4 +3,4 @@
 # Anyone may increment Minor to indicate a small change.
 # Major indicates a large change or large number of changes (upload to website)
 # World indicates a substantial change or release
-0.1.1
+0.1.2