Implementing saving and resuming proofs with prove-rs command#551

dkcumming merged 4 commits into

masterruntimeverification/mir-semantics:masterfrom

dc/prove-rs-upgraderuntimeverification/mir-semantics:dc/prove-rs-upgradeCopy head branch name to clipboard