Host keys

NixOps4 needs the SSH host keys of the machines to work. In the future, it will handle the deployment and therefore will not be needing our input for this. In the meantime, we just savagely hardcode the ~250 host keys that we will be using.