Ouputting movie/gif in Linux

Hi all

I just added (as a test) the ability to output gif to the sim.

But the way it does it is require ImageMagick to be installed on the system and calling it from the command line with a system() call.

I know this is not the right way of doing things.

Anyone interested in helping to integrate ImageMagick and/or ffmpeg libs to the sim in a way that is actually Win/Lin compatible?