add shrinkpng.py