Add schema/spec for trace format

Basically we're reusing a lot of other FBP formats, like the protocol and graph format.

Ideally those would have JSON schemas which we could just refer, but that is currently not in a good shape. Might be good to start with a top-level schema here, where we are starting from scratch and plug in more as we improve the other specs.
