server: download tinygo binary directly as tar.gz instead of unzipping#22

deadprogram merged 2 commits intomaintinygo-org/tinyhci:mainfrom

no-dbl-ziptinygo-org/tinyhci:no-dbl-zipCopy head branch name to clipboard