* Use "request" library to manage downloading: handles HTTPS & redirects,
unlike our simple usage of the default Node APIs. Eliminate download-size
limit since it seems unimportant & makes the code a bunch more verbose.
* Fix bug where we didn't actually clean up downloaded ZIP when done with it.