.zshrc: add helper git-prove-all()

Hammer to rebase-exec-prove everything.