Update installation guide to include rmc lib build#604

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

celinval:fix-doccelinval/kani-dev:fix-docCopy head branch name to clipboard