Make it possible to disallow highs when building pyhq#1075

Kobzol merged 1 commit intoIt4innovations:mainIt4innovations/hyperqueue:mainfrom

Kobzol:pyhq-highsKobzol/hyperqueue:pyhq-highsCopy head branch name to clipboard