A GIF exporting extension for OpenFL