Andrew
The savebmp command allows your script to save an image as a bitmap. If you choose Scripting/Templates/Explode menu item, you can uncomment the final line to save each frame of the animation as a png file
  #gl.savebmp(str(x)+'.png')
you can use your favorite tool to convert PNG files to video animations.