Added capability to write animation to .pdf, and then, using ImageMagick and GhostScript, use a shell command to convert that to a .gif