Merge branch 'master' into liveness

Conflicts:
	.idea/ant.xml
	PartialPreprocessor/src/main/scala/de/fosd/typechef/lexer/options/FeatureModelOptions.java
ClassTag -> ClassManifest for Scala 2.9.x compatibility
reformat code
remove dead code from intracfg
reformat code
integrate monotonefw from doublefree branch manually
successfull integration of monotonefw and doublefree analysis
polish double free output
fix loading of feature models for projects other than busybox and linux
update comments for monotonefw implementation
adapt sampling to new liveness analysis
remove multiple measurements from sampling
remove unnecessary imports
merging origin
change ClassTag back to ClassManifest for scala 2.9.x compatibility
add doublefree test
fixing tests
start to handle variable shadowing in montonefw
change resulttype of montonefw computation to hashmap
update typesystem and declusemap