Launch returns a tea.ExecCommand that SSHes into the given host as user.
Bubbletea suspends the TUI, hands off the terminal, and resumes on exit.
host should be the MagicDNS name when available, falling back to the IP.
port is the SSH port; pass "" or "22" to use the default.