A PHP library for executing shell commands in an actual shell environment.