Add proof general
Rebind M-z to zap-up-to-char