increase the version number for the app

src/ui/android/AndroidManifest.xml

@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="org.grammaticalframework.ui.android"
-    android:versionCode="6"
-    android:versionName="1.1"
+    android:versionCode="7"
+    android:versionName="1.2"
     android:installLocation="auto" >
 
     <uses-sdk