ggdict: unknown value types 9, 10 and 11 for RtMI .wimpy files

[fzipp]

Examples:

# unknown value type: 9
ggdict -monkey-island -to-json Cliff.wimpy

# unknown value type: 10
ggdict -monkey-island -to-json Alley.wimpy

# unknown value type: 11
ggdict -monkey-island -to-json BarebonesIsland.wimpy

[fzipp]

• 9: coordinate (e.g. "(960, 480)") for point
• 10: coordinate pair (e.g. "((0, 0),(123, 456))") for rectangle
• 11: coordinate list (e.g. "((33,74),(175,113),(217,13),(40,29))") for polygon

These types are effectively strings.

[fzipp]

Conversion to JSON is already implemented on main.
The reverse direction has yet to be implemented. To do this, the marshaller must recognize strings in the form of coordinates and set the appropriate type markers. At the moment, coordinates are still encoded as regular strings.