criu image to/from json converter