kani-verifier: cargo-kani setup support for macos

[tedinski]

I'm about to post a PR for the cargo-kani setup process that, together with the existing make-kani-release script, should complete the installation process for the linux platform.

This is a tracking issue to flush through getting this to work on the macos platform as well.