updated scripts
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis
update header files link
Update README.md
update build properties and remove idea

use gen-idea with a plugin separately
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis
added recend nonboolean config options
dump cfg during analysis
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis

Conflicts:
	analyzeBusyboxGit.sh
update scripts for newer busybox versions

busybox introduced additional nonboolean variables and generated
files. we run make to generate those files, even though we don't
care about their content really.

set sbt version to 0.12
update default pc file
update prepare script

include additional file but skip a generated header file
added a simple formula debugger which prints a formula in DNF
updated linker blacklist
update analyzeBusybox.sh parameters
check in a dimacs feature model for 18.5 in case
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis
updated nonboolean headers with busybox evolution
Merge branch 'master' of github.com:ckaestne/TypeChef-BusyboxAnalysis
simple tool to replace DBGFileChecker.jar

adapt to new frontend output format (separate check for lexer)