ovs.json: Optimize __dump_string().