made monkeysphere subkey-to-ssh-agent more user-friendly.