[red-knot] Extract red_knot_python_semantic crate

[MichaReiser]

Summary

Extract the red knot code from ruff_python_semantic and move it into its own crate because we don't expect to share any logic between the two semantic models.

Test Plan

cargo build

[MichaReiser]

Oh, I missed some doctests. I'll fix the test failures before merging.

[MichaReiser]

I removed this declaration and instead use the one from red_knot_python_semantic to silence cargo shear that the red_knot_python_semantic crate is unused (which is true, but not for long)

[github-actions]

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

ℹ️ ecosystem check detected linter changes. (+1 -0 violations, +0 -0 fixes in 1 projects; 49 projects unchanged)

python/typeshed (+1 -0 violations, +0 -0 fixes)

ruff check --no-cache --exit-zero --ignore RUF9 --output-format concise --preview --select E,F,FA,I,PYI,RUF,UP,W

+ stdlib/dis.pyi:144:1: E999 SyntaxError: unexpected EOF while parsing

Changes by rule (1 rules affected)

code	total	+ violation	- violation	+ fix	- fix
E999	1	1	0	0	0

Formatter (stable)

✅ ecosystem check detected no format changes.

Formatter (preview)

✅ ecosystem check detected no format changes.