added parameter do turn off default definitions for TASK and IRS in the goblint header
Merge branch 'master' of https://github.com/goblint/analyzer
osek header fixes
check analysis dependencies
made hashconsing optional
super fast xml printing
Fixed generation of constraint system in the case of "full-context".
Merge pull request #15 from karbyshev/master

Fixed generation of constraint system in the case of "full-context".
flag modes integer
Remove qualified uses of Cil.
improved flagmodes
Merge branch 'master' of https://github.com/goblint/analyzer

Conflicts:
	src/analyses/osek.ml
osek renaming fix
osek renaming fix take 2
Copy print_dead_code to control.ml
temp daimler stuff
do hashconsing by default + solver test setting + small bug fix
flag fix
Merge branch 'master' of https://github.com/goblint/analyzer
some code for Astree like iteration