a382f2
Add SSH keys for direct access of this machine This adds the SSH key of @kbabioch and @rklein to the machine, so it can be directly accessed.