A super-simple PHP library to map JSON documents to objects, similar to Java's Jackson