A simple way to download HTTP files in a build script