Remove unused subtree update helper scripts#325

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:cleanup-scriptstautschnig/verify-rust-std:cleanup-scriptsCopy head branch name to clipboard