Add a function for converting JSON values into strings.

src/json.m:
	As above.