shell: Export hosts model and make it more useful.
shell: Keep hosts sorted in the switcher.
shell: Reconnection dialog for hosts.
shell: New (incomplete) multi-server dashboard.