Command-line tool to extract parts of JSON documents, with JSON Pointer syntax