vlc encoder plugin to output animated gif