base: Expose client of DBusProxy, DBusProxies, and options of DBusClient.
shell: Handle modern DBusClient in hostname_for_display.
shell: Simplify HTML

Mostly, move the top navbar out of #content.
shell: Host switcher
shell: Hide navigation when showing the dashboard.