Travis: retry non-regression tests with Soplex instead of CLP