A php library for executing shell commands with an optional timeout.