add option to use previously downloaded gurobi (so that build server can proceed without manually entering a password)