Add note about dbgTrace for print debugging in CLAUDE.md

[Copilot]

Adding a note about dbgTrace as a tool for print debugging to the CLAUDE.md file.

Plan:

• Explore repository structure and understand current CLAUDE.md content
• Identify the "Debugging and Development Process" section as the appropriate location
• Add a bullet point about dbgTrace for print debugging in Lean
• Add usage example showing how to use dbgTrace in practice
• Verify the change is minimal and appropriate

Added a concise note about dbgTrace to the "Debugging and Development Process" section, explaining that it prints a value and returns it unchanged, making it useful for inspecting intermediate values during computation. Included a practical usage example showing how to use dbgTrace with string interpolation to debug intermediate values in a computation.

Fixes #271.

---

💬 Share your feedback on Copilot coding agent for the chance to win a $200 gift card! Click here to start the survey.

[Copilot]

@alok 👋 This repository doesn't have Copilot instructions. With Copilot instructions, I can understand the repository better, work faster and produce higher quality PRs.

I can generate a .github/copilot-instructions.md file for you automatically. Click here to open a pre-filled issue and assign it to me. I'll write the instructions, and then tag you for review.

[alok]

include a usage example @copilot

[Copilot]

include a usage example @copilot

Added a usage example showing how to use dbgTrace with string interpolation to debug intermediate values in a computation. The example demonstrates printing an intermediate value while keeping the function's logic intact. Commit: f14d9cd