[Bug] Prover CLI doesn't work on Amazon Linux

[gregnazario]

🐛 Bug

Prover is missing a GLIBC dependency in the installation for the prover. The rest of the CLI works fine

To reproduce

Code snippet to reproduce

./target/release/aptos move prove --package-dir aptos-move/move-examples/hello_prover/
FAILURE proving 1 modules from package `hello_prover` in 0.195s
{
  "Error": "Move Prover failed: cannot extract version from `/home/ec2-user/bin/z3`"
}

z3 -v
z3: /lib64/libstdc++.so.6: version `GLIBCXX_3.4.26' not found (required by z3)
z3: /lib64/libm.so.6: version `GLIBC_2.29' not found (required by z3)

Stack trace/error message

FAILURE proving 1 modules from package `hello_prover` in 0.195s
{
  "Error": "Move Prover failed: cannot extract version from `/home/ec2-user/bin/z3`"
}

z3 -v
z3: /lib64/libstdc++.so.6: version `GLIBCXX_3.4.26' not found (required by z3)
z3: /lib64/libm.so.6: version `GLIBC_2.29' not found (required by z3)

Expected Behavior

Install correct dependencies

System information

Please complete the following information:

• 16bec80146da2f3fd28b948cf25f807e09e92e23
• 1.63.0
• Amazon linux AMI amzn2-ami-kernel-5.10-hvm-2.0.20220805.0-x86_64-gp2

Additional context

Add any other context about the problem here.