Added --function flag to cargo-rmc#239

vecchiot-aws merged 2 commits intomodel-checking:main-153-2021-06-23model-checking/kani:main-153-2021-06-23from

vecchiot-aws:cargo-rmc-function-flagvecchiot-aws/rmc:cargo-rmc-function-flagCopy head branch name to clipboard