Add "kani" configuration key to enable conditional compilation in build scripts#2297

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

celinval:issue-xxxx-build-configcelinval/kani-dev:issue-xxxx-build-configCopy head branch name to clipboard