Add initial documentation in JSON format#4

schoen wants to merge 2 commits intoBlockstreamResearch:masterBlockstreamResearch/simplicityhl-std:masterfrom

schoen:initial-documentationschoen/simplicityhl-std:initial-documentationCopy head branch name to clipboard