Tools that let you turn YouTube videos into GIF images.