release: bump 0.1.2 -> 0.1.3

[kingchenc]

Cuts 0.1.3 across the twenty version-bearing files this repository writes itself, and closes the changelog gap the previous release left open.

Changelog

[Unreleased] became [0.1.3]. One entry was missing from it and is added here: the wickra-core lockfile refresh from #122. The two entries already there -- the benchmarks pom that tracked a version deleted two releases ago (#121) and the publish gate that read a pending CI run as a failed one (#120) -- carry over unchanged.

Everything merged since v0.1.2 is now described. git log v0.1.2..main lists exactly those three commits.

Bump

Run through bump_version.py, which reports 21 declarations rewritten: the workspace Cargo.toml, Cargo.lock via a real cargo build, the Python, Node (package, six platform stubs, lockfile, and the napi loader's version literal), Java, C# and R manifests, both poms that resolve the binding, CITATION.cff including its release date, and SECURITY.md's supported-version table.

scripts/check_version_sync.py agrees on all 21. The benchmarks pom is among them for the first time -- it was added to that check in #121, which is why this bump moves it rather than leaving it behind as 0.1.1 and 0.1.2 did.

A grep for 0.1.2 outside the changelog returns one hit, iana-time-zone-haiku, whose own version happens to be the same string.

Verification

• cargo fmt --all -- no changes
• cargo test --workspace --all-features -- all suites pass
• cargo clippy --workspace --all-targets --all-features -- -D warnings -- clean

[codspeed-hq]

Merging this PR will not alter performance

✅ 2 untouched benchmarks

---

_{Comparing release/0.1.3 (b51f8fa) with main (ad4de94)}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!