short python script using paramiko to execute list of cmd across many servers