Add flag --emit-json-spec to kprovex#2428

rv-jenkins merged 15 commits intomasterruntimeverification/k:masterfrom

emit-json-kprovexruntimeverification/k:emit-json-kprovexCopy head branch name to clipboard