SSHToolsToOpenSSH - convert sshtools keys