Rename shrinkbot.py to shrink.py