A batch downloader for coursera videos