I added all the download files to .gitignore to keep them around. I figure it's convenient during development if you need to grab the binaries again. If you feel strongly, I'll clean them up.