bump to version 13 (and switch to a non-hierarchical version numbering)

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.galexander.sshd"
-      android:versionCode="12"
+      android:versionCode="13"
-      android:versionName="1.11">
+      android:versionName="13">
     <uses-sdk android:minSdkVersion="7" android:targetSdkVersion="11" />
     <uses-permission android:name="android.permission.INTERNET" />
     <uses-permission android:name="android.permission.WRITE_EXTERNAL_STORAGE" />

doc/index.html

@@ -108,7 +108,7 @@ commandline.</dd>
 
 <ul>
 <li> <b>2016/10/xx Version 13:</b> Support foreground service (fewer
-stalls with newer Android).
+stalls with newer Android).  Add "Start on Open" mode.
 <li> <b>2016/08/08 Version 1.11:</b> Fix stall initializing random number generator.
 <li> <b>2016/07/22 Version 1.10:</b> Enable TCP port forwarding.
 <li> <b>2016/07/04 Version 1.9:</b> Restart sshd if the system kills it.