Place abandoned proofs on kill ring

This allows proofs to be "restarted" by opening the prover again,
yanking the proof script, and advancing through the steps.

Fixes #241.