An implementation of JSON Patch and JSON Pointer