Online video downloader for internet explorer