animation: create gif files

• imagemagick: Animation Basics – IM v6 Examples <2019-08-24 Sa>
• ezgif: https://ezgif.com/maker <2019-08-24 Sa>
• ffmpeg split video to image files, e.g.:

ffmpeg.exe -i examplevideo.avi i%004d.jpg