The commit serving as the basis for comparison of different
component coding schemes
   In preparation of this, fixed a bug concerning bit stuffing
Merge branch 'comparison_of_component_coding_schemes' of https://github.com/marcthurley/sharpSAT into comparison_of_component_coding_schemes

Conflicts:
	src/component_types/base_packed_component.h
	src/component_types/cacheable_component.h