Consume/produce JSON draft standard formats

Updates/replaces #4, but there's no way to make a dependent pull request --- so for diff from #4 to this, see https://github.com/zw/proveit/pull/1