I use this shell script for generating gifs out of .mov files: https://gist.github.com/artursapek/5b3d15ecac5ff75593c4
I can probably improve it further by using some of what's in this article, but it's already faster and better than any online tool I've found.