Checkpoint.
SL prover now on new proof/rule modules.
FO prover now "new style".
Termination prover updated (abductive prover disabled for now).
Checkpoint.
Bug fix for soundness cache stats.
New-style abductive prover. Termination abduction updated to this
structure.
(Giant) checkpoint.  Rationalized file naming scheme. Now prover files
are called <system>_{lexer/parser/rules/prove/abduce}. Also updated goto
abducer to new style (some bugs have come out; this prover is
unmaintained for now though so will leave it for later)
While prover updated to new structure.