Add CPLEX to the README.