Merge pull request #26 from ckaestne/liveness

Liveness
Merge branch 'liveness'
fix false redeclaration error with CIgnore

 CIgnore was not ignored when comparing signatures
Merge branch 'master' of github.com:ckaestne/TypeChef
fix false redeclaration error with CIgnore (2nd attempt)

previous fix only checked redeclarations not redefinitions and their suble different semantics
this version is more general now and ignores types with CIgnore entirely
Avoid type error wrong type argument to increment CObj(CIgnore())
 when incrementing a CIgnore, no type errors should be found

Conflicts:

	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala
reenable variability-aware vs sampling-based analysis
survive invalid .ast files

previously died with Assertion error
fix incorrect propagation of fexpr context

potentially reported errors in a too wide context
Merge branch 'master' into liveness
remove erroreous cache
checking error conditions of configuration-aware analysis agains sampling configurations
rename in out functions
remove debug code
output analysis times
improve uninitialized memory to reduce number of false positives