Basic callback support for user interrupts#34

chrjabs wants to merge 1 commit intorust-or:mainrust-or/highs:mainfrom

chrjabs:callbackschrjabs/highs:callbacksCopy head branch name to clipboard