Add support for Highs (MI)LP solver

[sjunges]

The Highs MILP solver is freely available under an MIT license, hosted on github, and significantly seems to outperform GLPK, which is our current default. This makes it an interesting addition to our backends.