Create a release bundle with an older glibc

[zhassan-aws]

Since Kani 0.57.0, support for OS's with older versions of glibc (e.g. 2.26) has been dropped, e.g. AL2, Ubuntu 18.04, etc.

The result is that on those OS's, Kani has to be built from source, and cannot be installed using cargo install kani-verifier.

To re-enable support for those OS's, we can create a release bundle that is built on AL2.