Change title (in title bar) of VNC Options dialog to match button label.
Added logger.debug() to runAsyncServerCommandThread, so I can
check for warnings like "Warning: remote port forwarding failed for
listen port 8080".  Currently the remot port for the WebDAV tunnel
is hard-coded to 8080, so that it's easy for the user to remember.
But that means that if you have multiple Launcher sessions running
at once (or if the Launcher fails to clean up after itself), you
could get a clash on the remote port 8080.  This needs better
exception handling eventually.

Also left some in some commented-out variations of the WebDAV
tunnel command (whether or not to use -T) and left in a
commented-out t.setDaemon(True).  These were all experiments to
try to fix the problem I had when demonstrating the file sharing
in today's stand-up meeting, which was simply due to remote port
8080 already being used by another process.