shell: Save space on the server dashboard

By using the hostname and realms directly as the label of buttons for
changing them.  Also, always leave a realm via a dialog.