Improve the VeriFast scripts#507

btj wants to merge 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

btj:verifast-scriptsbtj/verify-rust-std:verifast-scriptsCopy head branch name to clipboard