Video downloader for internet explorer