refined whole-project linker
Merge branch 'integervulnerabilities'

Conflicts:
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CBuiltIn.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CDeclTyping.scala
	CTypeChecker/src/main/scala/de/fosd/typechef/typesystem/CExprTyping.scala
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/DeclTypingTest.scala