Small fixes and move output to flint-core#9

Merged

coco875 merged 5 commits intoFlintTestMC:masterfrom

JunkyDeveloper:output

Feb 1, 2026

Commits on Jan 28, 2026

cargo fmt, changed requirements in readme and add jetbrains to .gitignore
JunkyDeveloper
committed

Commits on Jan 29, 2026

Commits on Feb 1, 2026

new rev of flint-core
JunkyDeveloper
committed