New formula for Coin-OR's CBC.

CBC is a mixed-integer linear programming solver from the COIN-OR repository. It is technically already included in the `coinmp` package but should be available as a stand-alone solver if not all of `coinmp` is required.