Option to generate a dot file representing the smir-json#34

jberthold merged 17 commits intomasterruntimeverification/stable-mir-json:masterfrom

rs-generate-graphruntimeverification/stable-mir-json:rs-generate-graphCopy head branch name to clipboard