`agent-version.json` is pushed on downloads bucket now, and minor enhancements#896

umbynos merged 5 commits intomainarduino/arduino-create-agent:mainfrom

ci-enhancementsarduino/arduino-create-agent:ci-enhancementsCopy head branch name to clipboard