sharkd: use json_dumper for output.