Checkpoint.
Retired old prover.
Small fixes. New test for SL prover.
Yet another update to the build system: now spot libraries are
statically linked.