Add a section with recommended setup for Rust Analyzer#4504

zhassan-aws wants to merge 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:rust-analyzer-docszhassan-aws/kani:rust-analyzer-docsCopy head branch name to clipboard