Update coin libraries.
Bump target OS X version because of Ipopt.