machines.cgi: generate fingerprints for ssh-ed25519 host keys