A simple script to format a json file nicely as HTML