Schemas

Here are two JSON schemas, one Shell Command and another for Petri. It turns out that we have a lot of unspecified assumptions in our current docs. See all the `"description": "TODO ..."` lines. (Do we allow empty strings, arrays? What keys are explicitly required?)