Allow manual re-resolving of server hostname#1365

eminence wants to merge 1 commit intomobile-shell:mastermobile-shell/mosh:masterfrom

eminence:dns_resolveeminence/mosh:dns_resolveCopy head branch name to clipboard