Adding Stark curve

[shramee]

Description

Adds Stark curve on 252 bit field.

This library implements the Stark curve, An elliptic curve defined over the
STARK field by equation y² ≡ x³ + α·x + β (mod q)
Where:

• α = 1
• β = 0x6f21413efbe40de150e596d72f7a8c5609ad26c15c915c1f4cdfcb99cee9e89
• q = 3618502788666131213697322783095070105623107215331596699973092056135872020481
• or, q = 2^251 + 17 * 2^192 + 1
  Generator point:
• x = 0x1ef15c18599971b7beced415a40f0c7deacfd9b0d1819e03d723d8bc943cfca
• y = 0x5668060aa49730b7be4801df46ec62de53ecd11abe43a32873000c36e8dc1f

https://docs.starknet.io/architecture/cryptography/#the_stark_curve

⚠️ Help needed: fields::tests::fq::test_fft test fails because of excessively high 2 adicity of the base field at 192.

---

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

• Targeted PR against correct branch (master)
• Linked to GitHub issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Update: Existing tests for fields and curve group via the macro.
• Updated relevant documentation in the code
• Added a relevant changelog entry to the Pending section in CHANGELOG.md
• Re-reviewed Files changed in the GitHub PR explorer