Diff highs-1.12.0 with a highs-1.13.1

Thank you!