Added documentation for how to emit the `smir.json` for the `std-lib`#17

dkcumming wants to merge 7 commits intomasterruntimeverification/stable-mir-json:masterfrom

docs/build-stdruntimeverification/stable-mir-json:docs/build-stdCopy head branch name to clipboard