json_out: new module for authoring JSON strings.