http://zulko.github.io/blog/2014/01/23/making-animated-gifs-from-video-files-with-python/