manage ssh keys on the server side (can be used with ssh-key-widget)