Encrypt hostnames in SSH known hosts files