Serializes a JsonValue tree to a compact JSON string.
Example:
string s = Json.stringify (value);
the value to serialize.
compact JSON string.