Adding an environment variable so that DiSE can find the various SMT solver jars (namely, CVC3).