Add name to rewrite and birewrite commands

[kaeun97]

Resolves #870

Key changes:

• Added pub name: String field to GenericRewrite
• Parse :name option on rewrite and birewrite (mirrors existing :name on rule)
• When provided, the name is used as the desugared rule name

[kaeun97]

Hey @saulshanabrook , hope you are doing well! Would appreciate your review on this. As a reminder, this was motivated here: egraphs-good/egglog-python#416. Thank you!

[saulshanabrook]

This looks great! Thank you so much for adding this feature :)

[codecov-commenter]

Codecov Report

❌ Patch coverage is 89.65517% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 87.17%. Comparing base (23dd731) to head (a98d965).

Files with missing lines	Patch %	Lines
src/ast/mod.rs	0.00%	3 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #871      +/-   ##
==========================================
- Coverage   87.18%   87.17%   -0.01%     
==========================================
  Files          87       87              
  Lines       24933    24953      +20     
==========================================
+ Hits        21737    21754      +17     
- Misses       3196     3199       +3     

☔ View full report in Codecov by Sentry.
📢 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.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[codspeed-hq]

Merging this PR will not alter performance

✅ 50 untouched benchmarks
⏩ 190 skipped benchmarks¹

---

_{Comparing kaeun97:kaeun97/rewrite-name (a98d965) with main (23dd731)}

Footnotes

1. 190 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩