message: updated README
  Closes:
  Approved by: wrwg
diff: @@ -6,3 +6,12 @@ There are three experimental scripts in this folder.
  `install-dotnet.sh` must be executed before `install-boogie.sh`. There is no other dependency.
  The commands `boogie` and `z3` should be in your path once these scripts have finished successfully.
  +
  +The Move Prover looks for Boogie and Z3 executables in the environment variables BOOGIE_EXE
  +and Z3_EXE, respectively. To run Boogie/Z3 on the Boogie files generated by the tests of
  +this crate, these environment variables must be set. To set these environment variables,
  +execute the following at the command-line after running the installation scripts described
  +above:
  +
  +export BOOGIE_EXE=$(type -p boogie)
  +export Z3_EXE=$(type -p z3)
  