Use a nicer output format for summary.json