動画を GIF に変換するときに使うコマンド