Fine-grained control of remote server lifetime

[toinehartman]

Work out details around remote server lifetime, e.g.:

• Whether/when to quit remote servers.
• How to clean up progress bars when remote servers quit/crash.