Putty の鍵を変換

Vagrant 0.9 系からは、秘密鍵(ppk)が提供されなくなった。

openssh と形式が異なるので、変換する必要があるわけだが、
PuTTYgen で出来ることが分かった。

起動すると、メニュー[Conversions] というのがあるので、
ここから、インポート・エクスポートが行える。