Printlog json

printlog's strings now use JSON Unicode; we can see null bytes and other non-printable chars in keys/values.  Fixes the main complaint of #1438.