Fix monitor socket name to match recent servald changes
Rename Monitor socket to "monitor.socket"

Also fix bug in Serval DNA that truncated monitor socket name by two bytes,
so it appeared to be "monitor.sock"
Fix build.xml: debug.serval.manifest.secret

Now does not access keyring file at all if secret is supplied,
so a missing keyring file does not cause build to fail.
First draft of Auto Upgrade documentation
Clean up build.xml output a bit
Merge branch 'development' into 'andrew'