For every check, we now print the "check_tree" into the JSON output.
This is basically a dump of the session tree, just in a different
format.

* json.ml
new json datatype and new function "print_json" to print it

Change-Id: I0b28ac181793af4d160abc58c2634b3cbcac9b94