Printing best last X redundant clauses learnt at every DB cleaning

Fixes issue #107