Add GitHub Actions workflow to build and publish Android release APK

[dusy4]

Motivation

• Provide an automated CI workflow to build release APKs and publish them to GitHub Releases when a release tag is created or the workflow is manually triggered.

Description

• Add .github/workflows/android-release.yml to trigger on pushed tags matching v* and on workflow_dispatch manual runs with an optional release_tag input.
• Resolve the release tag from the manual input or from GITHUB_REF_NAME and create/push the tag for manual runs when a tag input is provided.
• Set up JDK 17 and Gradle, build the release APK with ./gradlew --no-daemon assembleRelease in the android directory, upload the APK as an artifact, and publish it to a GitHub Release when the tag starts with v.
• Use actions/checkout@v4, actions/setup-java@v4, gradle/actions/setup-gradle@v4, actions/upload-artifact@v4, and softprops/action-gh-release@v2 in the workflow.

Testing

• No automated tests were executed as part of this PR; the workflow is configured to run on pushed tags matching v* and on manual dispatch and will run in CI when triggered.

---

Codex Task