A PHP library for dealing with the Pingdom REST API