Remove the pushpatch tool

It has served well, but it's time to move on.
We'll use pushpatches.py instead.
pushpatches: Use reviewer from ticket if not given