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
Update README.md
skip initial hidden tokens when assigning a position

this is slower but more accurate.

before, the position may point to a too broad text fragment
although part of the text fragment is not included in the
corresponding condition of the result. this is a minor issue
and may not be worth the performance overhead of making this
more accurate.
normalize CFunction creation

when a CFunction is created with a single CVoid() parameter
that parameter is removed. Arrays and Function parameters
are automatically converted into pointers
support different strictness levels in linking

the previous comparison was too strict. now it compares
normalized signatures.

normalization can be done at different strictness levels.
at the strictest level signatures are compared and must
be identical except for simple equivalence rules like
CPointer(x) == CArray(x)

at the most relaxed level only names are compared without
types

at the medium level various normalizations are performed
treating all integers and all pointers as equals

fixes bug #18
rename refactoring for readability
add missing test file for prior commit (linker normalization)
Merge branch 'NormalizeLinker'
javabdd dependency as managed maven dependency

repackaged Javabdd library as maven package which
is now automatically imported from maven

this avoids having to copy the jar file around in
every project
bump up version number
fix import of CIgnore from xml
update version numbers of scala and dependencies
add inactive test for future checking
fixed regression

due to library upgrade test needed to implement additional interface
bump sbt version to 0.13.1
replace deprecated method call from updated testing library

replace expect() with expectResult()
refactor for nicer getVersion abstraction
removing old main methods

it's not a good idea to run subsystems independent
of the main Frontend class, since options are not
parsed and preserved. Instead we would use plenty
of boilerplate code for default options or debugging
code