Enable cvxif extension for Spike when cvxif variable is set
Created by: AyoubJalali
Hello, this PR related to enable/disable when we desire, using an environment variable. Cvxif extension is enabled when **cvxif ** variable is set, and disable otherwise