Add a new pushpatches.py tool