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.
Merge pull request #242 from david-christiansen/issue/241

Place abandoned proofs on kill ring