ssh_picker: support generating server list from command line or files
ssh_picker: sort server by ping rtt