Script to convert between the openssh and putty formats for storing the SSH public keys for known hosts