Petascope_Clip()'s new parameter WITH COORDINATES

[Bang Pham Huu]

When clipping and encoding as CSV/JSON, the result of clipping with new parameter WITH COORDINATES will have this format with grid axes and a value attached to its grid coordinates, e.g:

for c in (test_irr_cube_2) return encode(
  clip(c, LineStringZ(75042.7273594 5094865.55794 "2008-01-01T02:01:20.000Z",
                     705042.727359 5454865.55794 "2008-01-08T00:02:58.000Z"))
 WITH COORDINATES, "json")

returns

["grid_coord_1 grid_coord_2... value1 value2 ...", 
 "grid_coord_1 grid_coord_2... value1 value2 ...", 
 ...]

Petascope will parse the returned result, and convert the axis1 axis2… grid coordinates to corresponding geo coordinates. This needs to be done carefully with respect to the axis order in rasdaman. So the final result will be

["geo_coord_1 geo_coord_2... value1 value2 ...", 
 "geo_coord_1 geo_coord_2... value1 value2 ...", 
 ...]

Petascope should preserve these characters (+ whitespace) as they appear in the json/csv result from rasdaman:

{ } [ ] " ,