* ps2gif.py: started