sync_ssh_keys.pl