[red-knot] Make the VERSIONS parser use ModuleName as its key type

[AlexWaygood]

Summary

The same invariants apply when constructing module names in the VERSIONS parser as the ones that apply when creating module names elsewhere in the module resolver. We should therefore reuse the same abstraction, which checks these invariants in its new() methods

Test Plan

cargo test -p red_knot_modules_resolver

[codspeed-hq]

CodSpeed Performance Report

Merging #11968 will degrade performances by 4.82%

_{Comparing versions-modulename (b730543) with main (8de0cd6)}

Summary

❌ 1 regressions
✅ 29 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	main	versions-modulename	Change
❌	linter/default-rules[pydantic/types.py]	1.8 ms	1.9 ms	-4.82%

[github-actions]

ruff-ecosystem results

Linter (stable)

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

PlasmaPy/PlasmaPy (+1 -0 violations, +0 -0 fixes)

+ src/plasmapy/diagnostics/langmuir.py:1396:23: NPY201 `np.trapz` will be removed in NumPy 2.0. Use `numpy.trapezoid` on NumPy 2.0, or ignore this warning on earlier versions.

Changes by rule (1 rules affected)

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

Linter (preview)

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

PlasmaPy/PlasmaPy (+1 -0 violations, +0 -0 fixes)

ruff check --no-cache --exit-zero --ignore RUF9 --output-format concise --preview

+ src/plasmapy/diagnostics/langmuir.py:1396:23: NPY201 `np.trapz` will be removed in NumPy 2.0. Use `numpy.trapezoid` on NumPy 2.0, or ignore this warning on earlier versions.

Changes by rule (1 rules affected)

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