Feature: quickly get JSON format for a spec

[danwt]

Given a TLA+ spec there should be a quick way to learn the structure/format of the JSON that traces of the spec will be given in.

[rnbguy]

Maybe this will help https://app.quicktype.io But this requires at least one json trace.