PHP library for communicating with the Jenkins web API