Builds for coinor-symphony

Latest: 5.7.2+dfsg-1