write empty error file instead of deleting

previous very strange and unrelaible behavior
fixed parameters of functions returning functions

example: int (*foo(int x))(int*)

previously the type of such function was correctly determined, but the paramters were derived from the wrong declarator (the outermost instead of the innermost)
Merge branch 'master' of github.com:ckaestne/TypeChef into liveness
adding two test cases for default types in C (variable typing and function typing (return type))
Merge branch 'master' of github.com:ckaestne/TypeChef
default type when missing type declaration is int

instead of returning an error on "static a;", a is implicitly declared as int. we may want to add a warning there later.

fixes joerg's test cases
Merge branch 'master' into liveness
working around weird nullpointerexception in satsolver
moved CAnalysisFrontend initialization

to prevent kiama error when running on our server
add random sample generation
mend
Merge branch 'master' of github.com:ckaestne/TypeChef into liveness
adding new loader for pairwise product configurations (unfinished)
change warmup of jvm for measurement to an unrelated file
change warmup to unrelated file; only one measurement per task
check, whether pairwise configuration is satisfiable
TC PrettyPrinter wird genutzt
einfacher BasisTestfall
Merge remote-tracking branch 'tc/master/liveness' into ide

Conflicts:
	CTypeChecker/src/test/scala/de/fosd/typechef/typesystem/DeclTypingTest.scala
	Frontend/src/main/scala/de/fosd/typechef/Frontend.scala