Environment variable

[rikosellic]

I'm updating the readme of vostd. I'm wondering if we still need to set VERUS_PATH and VERUS_Z3_PATH, or if we can just set CARGO_VERUS_PATH and delete functions like get_z3.