Enhance clique extraction

[fwesselm]

Description

1. HPresolve::normaliseCliqueRows scales all-binary rows to +-1 coefficients and <= form for clique extraction if possible.
2. On neos-631710 the normalisation enables clique merging to detect and remove 166500 binary-binary implication (clique) rows, reducing the presolved model to 3076 rows.
3. Added unit tests.

Checklist

• I have read the contributing guidelines
• This PR targets the latest branch
• Tests are passing
• Documentation was updated where relevant
• This PR is not primarily AI-generated (per the AI contributions policy in CONTRIBUTING.md)

[codecov]

Codecov Report

❌ Patch coverage is 97.81421% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 73.71%. Comparing base (eb79992) to head (74dfec0).
⚠️ Report is 1 commits behind head on latest.

Files with missing lines	Patch %	Lines
check/TestPresolveRules.cpp	97.60%	6 Missing ⚠️
highs/presolve/HPresolve.cpp	97.36%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           latest    #3286      +/-   ##
==========================================
+ Coverage   73.56%   73.71%   +0.14%     
==========================================
  Files         446      446              
  Lines      109514   109846     +332     
  Branches    17543    17564      +21     
==========================================
+ Hits        80569    80977     +408     
+ Misses      28668    28592      -76     
  Partials      277      277              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Opt-Mucca]

This is a great change! It's surely going to be a nice performance bump.

[Opt-Mucca]

I've spent way too long looking at this, but I think the current code (and original code) is missing a case here. If you had some row like 0.5 <= x1 + x2 <= 1 then it'd be stored as a non-equality clique. Assuming the clique then gets merged into something else, the entire row will be deleted. The equality information is now missing however and the resulting problem could admit incorrect solutions! I am guessing this never happens because all (my concern is near all) solution paths have gone through row presolve and upgraded the row to an equality.

[fwesselm]

@Opt-Mucca, thanks! extractCliques should handle this. I will update the code shortly.