JsonPath C extension for PHP