update for casadi binding overhaul
cplex and snopt should be commented out in .cabal