new for version 00g since 00a
-----------------------------

Blocked clause elimination.

Nicer 'report' (6 character numbers as in PicoSAT).

Finished strengthening (both in 'distill' and 'backward').

Fixed reduce schedule.

Continued to work on comments.
