sdkman/sdkman-cli 5.13.0

SDKMAN as SDK distribution

on GitHub

This is a big release with many non-functional changes to set the scene for future enhancement.

• SDKMAN now itself distributed as an SDK archive
• Add capability for native binary support
• Capability for using checksums on downloaded archives (@hgeraldino)
• Bug fixes and improvements to bash-completion POSIX compatibility (@helpermethod)
• First steps toward LINUX_ARM32SF and LINUX_ARM32HF for Raspberry Pi (@FDelporte)
• Improvements to build process for packaging SDK archive
• Improved stable/beta channel handling