A pythonic remote control of servers via ssh