Shell script to generate SSHFP RRs for DNS from SSH host keys