Don't escape Unicode in JSON output by default, but add convertJsonToASCII(). Fixes #809.