Fixed up ssh host completion. Ignoring known_hosts for now, because it's a mess.