Only require two approvals for changes to `doc/`, `library/` or `verifast-proofs/`#351

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

carolynzech:approval-workflowcarolynzech/rust:approval-workflowCopy head branch name to clipboard