Add support for manually passing options to examples.#409

bdalrhm merged 4 commits intomodel-checking:main-154-2021-08-06model-checking/kani:main-154-2021-08-06from

bdalrhm:man-configsbdalrhm/rmc:man-configsCopy head branch name to clipboard