Add VeriFast CI#239

remi-delmas-3000 merged 12 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

btj:verifast-toolbtj/verify-rust-std:verifast-toolCopy head branch name to clipboard