silence optimizer output

The previous flags are not sufficient on new (?) versions of glpk.