Build: Extract Gradle version from gradle-wrapper.properties

[pan3793]

The Iceberg customized gradlew to avoid tracking gradle-wrapper.jar in Git. But changing the download link each time seems too fragile, this PR aims to extract the Gradle version from gradle-wrapper.properties and dynamically generate the download link

[pan3793]

We can not use bash extensions like [[ string =~ regex ]] because of

#   (2) This script targets any POSIX shell, so it avoids extensions provided
#       by Bash, Ksh, etc; in particular arrays are avoided.

The code may be ugly, any suggestion is welcome.

[pan3793]

cc @nastra

[github-actions]

This pull request has been marked as stale due to 30 days of inactivity. It will be closed in 1 week if no further activity occurs. If you think that’s incorrect or this pull request requires a review, please simply write any comment. If closed, you can revive the PR at any time and @mention a reviewer or discuss it on the [email protected] list. Thank you for your contributions.

[github-actions]

This pull request has been closed due to lack of activity. This is not a judgement on the merit of the PR in any way. It is just a way of keeping the PR queue manageable. If you think that is incorrect, or the pull request requires review, you can revive the PR at any time.