Hadrian: build (and retrieve) binary distributions in CI