GIF and Video animation export

[FrancoYudica]

Currently, the program exports animations as a sequence of frames, which takes up a lot of disk space and requires an external tool like FFMPEG to convert them into GIFs or videos.

I'm considering two possible solutions:

• Find an existing Godot plugin that handles video/GIF export and integrate it into the project.
• Use a C++ library for encoding and add it via GDExtension for better performance and flexibility.