bit stuffing to remove clauses_ofs_ from BasePackedComponent
now store number of variables instead,
also in packed components the clause data starts right after the
last variable data bit
small reduction of the size of a base packed component
by bit stuffing the delete_permitted bit