fix: exclude non-release modules from Maven deployment

[zeitlinger]

Summary

• Align deployment profiles with the release build, excluding examples, benchmarks, and integration tests.
• Add CI regression coverage for profile consistency and use the Maven wrapper.
• Document retrying publication from an unchanged immutable release tag.

Fixes the v1.9.0 deployment failure on example-greeting-service. After merging, dispatch release.yml from main with tag=v1.9.0; no tag change is needed.

Validation

• mise run lint:fix
• python3 .mise/tasks/test_release_configuration.py
• Mutation check: restoring the broken deployment profiles fails the regression test.
• mise run build-release against current main plus this fix

No publication was triggered. Coverage checks configuration consistency, not signing credentials or Sonatype availability.