JSON printer: remove dependency on YAJL, using a hand-rolled printer instead.