Update coin libraries.
Get ipopt version.