Allow users to select a subset of harness to run#2202

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

celinval:issue-1778-harnessescelinval/kani-dev:issue-1778-harnessesCopy head branch name to clipboard