Simple PHP library for writing REST services