Add link to https://github.com/model-checking/verify-rust-std

Add link to https://github.com/model-checking/verify-rust-std #65