Persistent hosts

Hosts in the document browser are saved on exit, and loaded
again on startup.