added two tests for false redeclaration errors

Conflicts:

	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/RedeclarationTest.scala
properly write ignored test instead of comment
changing how CTypes are checked for equality (incl. nested structures)

changing only the quality of ATypes by default and ignoring object, const, and volatile in these comparisons.

this is useful to avoid two complicated separate checks for ATypes and CTypes as long as they are not needed
(defining a recursive AType equality check that ignores CType attributes of nested CFunction and CAnonymousStruct
types is painful, especially for structs)

This fixes the regression problems with redeclaration issues where we were too strict (const modifier
should not make a difference)

Testing did not reveal any issues of this change, but we might be careful since equality is now defined
looser than before
Started implementing variability - aware decl-use access from morpheus.
Replaced first useDecl calls in ExtractFunction to new approach.
Replaced first useDecl calls in ExtractFunction to new approach.
Replaced first useDecl calls in ExtractFunction to new approach.
Merge branch 'jl'
Fixed introduced compile error from previous commit.
Minor code refactor.
Minor code refactor.
Merge remote-tracking branch 'upstream/master'
Some dirty debug hack - look away.
Some dirty debug hack - look away.
Update README.md
Merge branch 'jl'

Conflicts:
	CRefactor/src/main/scala/de/fosd/typechef/crefactor/backend/CRefactor.scala
Merge remote-tracking branch 'upstream/master'
Merge branch 'jl'
Start integrating code coverage building. Updated Build.scala to resolve occurred build issues.
Updated Build.scala to resolve occurred build issues.