Split centralized manifest.json into per-spec manifest.json files#180

ahelwer merged 6 commits into

tlaplus:mastertlaplus/Examples:masterfrom

ahelwer:split-manifestahelwer/Examples:split-manifestCopy head branch name to clipboard