Bookmarklet to batch download Coursera lecture videos.