Quick and dirty fix for saving proofs on Ctrl-C

A temporary fix for #12, awaiting a cleaner solution

Reintroduce the proof dumper from !57 (closed), but we save the proof file on every goal addition