Prepare a release

[deemp]

Closes #442

---

PR-Codex overview

This PR updates the version of eo-phi-normalizer to 1.0.0, introducing new features, improvements, and fixes.

Detailed summary

• Added support for custom rules and enabling/disabling particular atoms
• Enhanced matching capabilities and generation of fresh names
• Improved safety with explicit forall and distinguished types for metavariables
• Updated documentation and dependencies

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[0crat]

@deemp Thanks for the contribution! You've earned +20 points for this: +20 as a basis; +5 for 29 hits-of-code; -5 for 0 comments. Please, keep them coming. Your running balance is +20.

[0crat]

@fizruk Thanks for the review! You've earned +35 points for this: +25 as a basis; +5 for 29 hits-of-code; +5 for 0 comments. Your running balance is +35.