Change a public SSH-key on multiple remote machines at once.