Update gecode.
Disable warnings.
Update coin libraries.
Fix warnings.
Fix and format test.