Added GIMP plugin makegif.py.