Misc improvements to the README#574

plaindocs wants to merge 2 commits into

Safety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-consortium:mainfrom

plaindocs:revamp-readmeplaindocs/safety-critical-rust-consortium:revamp-readmeCopy head branch name to clipboard