switch solver to highs, add requirements.txt

Proposing to switch to HiGHS instead of CBC for two reasons:

• HiGHS is faster, see e.g. this figure or referenced benchmark results in their docs
• it can easily be installed as a python package, so no need to have cbc.exe in every repository