Add script to text-extract all contracts#323

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

tautschnig:metrics-toolingtautschnig/verify-rust-std:metrics-toolingCopy head branch name to clipboard