Add a pretty-printer to the JSON writer.

In both output formats, output numbers with no fractional part as integers.

src/json.m:
src/json/json.writer.m:
	As above.

tests/*.exp:
	Update expected outputs as necessary.