kani-0.3.0

Kani Rust verifier release bundle version 0.3.0.

What's Changed

• Add support for Ubuntu 18.04 to installer by @tedinski in #1231
• Fix how we handle niche optimization with ZST by @celinval in #1205
• Add support for atomic_min* and atomic_umin* intrinsics by @adpaco-aws in #1212
• Add support for atomic_max* and atomic_umax* intinsics by @adpaco-aws in #1232
• Bump CBMC version to 5.58.1 by @zhassan-aws in #1229
• Update rust toolchain to 2022-05-17 by @celinval in #1209

Full Changelog: kani-0.2.0...kani-0.3.0