disentangled the different implementations of packed components.
dependency management
refactored the lookup of components in the cache
refactoring component analysis
component analyzer separated from component manager
small changes, preparing the introduction ofcComponent archetypes
usage of archetypes implemented
1
computation of components and packed components simplified
log2 computation uses an algorithm from the bit twiddling hacks site now
bugfixing for the changed component coding
cleaned up code
Bugs in component creation fixed.
statistics isolated
statistics code isolated
Packed the seen arrays (for clauses and varaibles) in the archetypes.
Merge branch 'archetype_based_cache_access' into code_refactoring

Conflicts:
	src/component_management.h
	src/component_types/difference_packed_component.h
removed dead/commented code
added SimpleUnpackedComponent
 -- a class to store components without bit stuffing
 -- only for the purpose of comparison to the other coding schemes
added code which allows all component coding schemes
to take advantage of the new component representation which
omits certain clause ids