Enhance download script

* shows list of failures at the end
* double-checks file sizes of video downloads instead of just
  skipping if there's a file there (file could be incomplete)