Remove old distributeSSHKeys code

Note: not yet tested, but I wanted to open an issue to remember to get around to this.