SSH keys: safer management

Deleting an SSH key that is still attached to a VM is now blocked, and the private key of keys we generated for you can be downloaded when you need it.