Putty PPK to OpenSSH format on Linux

Had to do this today; luckily this post was very useful. Thanks.