Let proof-undo-and-delete-last-successful-command work from
other buffers.
Made kill buffer function more robust.
New! Added generic defaults for count-undos, goal-command-p,
state-preserving-p. Used in demoisa instance for now, others to
use later.
Added checks that important configuration variables are set,
and set defaults for some others.
