quieten gurobi output, fixes #723