more seamless server upgrades

[Antoine Martin]

At present, when we upgrade a server, the client gets disconnected.

There are a number of things we can do to improve this:

• make the client re-connect automatically (see also #540)
• make the client freeze the windows until the new server remaps them
• make the old server pass the socket connections to the new server (so the client won't even notice the change at all)