* ps2gif.py: add split-only option