message: Update install-boogie.sh
  upgrade the version of boogie to 2.7.30
  Closes:
diff: # Copyright (c) The Libra Core Contributors
  # SPDX-License-Identifier: Apache-2.0
  -dotnet tool update --global Boogie --version 2.7.21
  +dotnet tool update --global Boogie --version 2.7.30
  