RESTful PHP library/framework