Add a challenge for `linked_list`#30

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

qinheping:challenge/linked-listqinheping/verify-rust-std:challenge/linked-listCopy head branch name to clipboard