* ps2gif.py: split pages