Convert SSHTools keys to OpenSSH key format