SSH: Produce "mixed" key files by default.
I.e. the private key in PKCS8 format, the public key in a format suitable for OpenSSH's authorized_keys file. Seems like the most pragmatic solution for now. Change-Id: I02d9bf4d98d836d9fc33453bff0b3f4834e7e173 Reviewed-on: http://codereview.qt.nokia.com/2350 Reviewed-by: Christian Kandeler <email@example.com>