ssh-install-keys: install a pub key too all servers