PHP library for executing commands on multiple remote machines, via SSH - View it on GitHub