PHP Library for interacting with shells