Add initial challenge template#10

celinval merged 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

celinval:verify-0000-templatecelinval/rust-dev:verify-0000-templateCopy head branch name to clipboard