Removing compiler build and using `rustup`#33

dkcumming merged 10 commits intomasterruntimeverification/stable-mir-json:masterfrom

remove-building-reporuntimeverification/stable-mir-json:remove-building-repoCopy head branch name to clipboard