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.