Add a --json command line option to dump our data in json format.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>