Added animated gif output to the movie plugin.

The animated gif output is currently disabled and should be
enabled in a future commit, when output filename selection has
been implemented. It should also be made independent of libav
in the future.

Change-Id: Ic927934776e8787107ad3b9651b1f8f263706e30
Reviewed-on: https://iffwww.iff.kfa-juelich.de/review/114
Reviewed-by: Josef Heinen <j.heinen@fz-juelich.de>
Added new workstation type (130: animated GIF)

Change-Id: Iecc8977b51201de6b9e3aadfb8582a4c85bdc1b6
Reviewed-on: https://iffwww.iff.kfa-juelich.de/review/115
Reviewed-by: Josef Heinen <j.heinen@fz-juelich.de>