Use docker tgz file to download on OSX

and mention it in the binaries instruction.