Additions to PB Clause addition process

- The lhs of the clause in sorted. The internal representation
  of the PbClause was changed to more easily accomedate for that.
- PB Clauses are, if possible, turned into a comperable CNF clause.