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.