Automatically run commands over SSH on many servers