Storing sum(and so avg) branch depth of learnt clauses for prop&confl

We could sort and clean clauses based (partially?) on this measure