Add support for CTRL+C in Highs_run

[odow]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.79%. Comparing base (fc120cb) to head (b0d6d61).
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #268   +/-   ##
=======================================
  Coverage   99.79%   99.79%           
=======================================
  Files           1        1           
  Lines        1447     1470   +23     
=======================================
+ Hits         1444     1467   +23     
  Misses          3        3           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.