A small Python wrapper around the Jenkins JSON API