v0.13.0

Release 0.13.0 (minor: pub InitStrategy gained a variant)

Re-version the aborted 0.12.1: PR #360 added InitStrategy::ClassFields to
the public InitStrategy enum (shifting InitStrategy::None's discriminant),
which is a breaking change to sem-core's API. cargo-semver-checks correctly
rejected it as a patch; under 0.x rules a breaking change needs a minor
bump, so this ships as 0.13.0.

Contents unchanged from the intended 0.12.1: Windows MCP path fix (#367),
Kotlin (#359) and Java (#360, #361) cross-file resolution.