Huge jump in version numbers for coin-or binary dependencies

[odow]

This is intended. It helps us distinguish changes to the jll and changes to the upstream version.