Function redeem_ctokens
This function takes some amount of cTokens and redeems for the coin type in the pool. Each cToken corresponds to a share of the pool, and a corresponding amount of coins are redeemed out.
This function will never allow tokens to be redeemed out if the amount left over is smaller than the minimum token amount. It is possible that so many tokens are lent out that there is not enough tokens physically in the pool to fulfill a redeem request at the moment, even if the pool is solvent.