message: [move-prover] Updating install-z3 script to point to our forked release.
  Closes:
  Approved by: junkil-park
diff: # Copyright (c) The Libra Core Contributors
  # SPDX-License-Identifier: Apache-2.0
  -curl -LO https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-osx-10.14.6.zip
  -unzip z3-4.8.8-x64-osx-10.14.6.zip
  -sudo cp z3-4.8.8-x64-osx-10.14.6/bin/z3 /usr/local/bin/
  -rm -rf z3-4.8.8-x64-osx-10.14.6
  -rm -rf z3-4.8.8-x64-osx-10.14.6.zip
  +curl -LO https://github.com/wrwg/z3/releases/download/Libra/z3-4.8.9-x64-osx-10.14.6.zip
  +unzip z3-4.8.9-x64-osx-10.14.6.zip
  +sudo cp z3-4.8.9-x64-osx-10.14.6/bin/z3 /usr/local/bin/
  +rm -rf z3-4.8.9-x64-osx-10.14.6
  +rm -rf z3-4.8.9-x64-osx-10.14.6.zip
  