Update RFC process#2716

celinval merged 8 commits intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-rfccelinval/kani-dev:issue-xxxx-rfcCopy head branch name to clipboard