New formula for CoinMP.

CoinMP is a standardized interface to several COIN-OR packages
(CLP, CBC and CGL). See http://www.coin-or.org and
http://www.coin-or.org/projects/CoinMP.xml.

Like Pull Request #77, this one requires `env:std`.