add highs@1.15.0 and highs@1.15.1#9635

Mizux wants to merge 6 commits into

bazelbuild:mainbazelbuild/bazel-central-registry:mainfrom

Mizux:mizux/highsMizux/bazel-central-registry:mizux/highsCopy head branch name to clipboard