Added ntdriver benchmarks.
Slightly modified ntdrivers benchmarks to work with SMACK.
Added simplified ntdrivers benchmarks.
Updated simplified ntdrivers to work with SMACK.
Added regression test script for simplified ntdrivers.
Implemented a new memory model that does not have $ref and pointers are simply integers. Globals are still not properly supported, as well as freeing of memory.
Merge branch 'svcomp13' into memmod
Added UNDEF to prelude.
Handling globals in the new memory model.
Implemented support for this weird LLVM function pointer corner case. In particular, it often happens that certain LLVM warnings cause indirect calls to be introduced, where the pointer value is just a bitcast from the function declaration. So we can still get the actual function that is being called with a little bit of work.
Extended the memory model to be able to check for double free.
Merge branch 'master' into memmod

Conflicts:
	include/prelude-int.bpl
	lib/smack/SmackInstGenerator.cpp
	lib/smack/SmackModuleGenerator.cpp
	lib/smack/SmackRep.cpp
Reenabling translation of __SMACK_record_int.
Slowly making my way towards having separate classes for various memory models.
Created SmackRep factory.
Refactored declare globals and pushed that into SmackRep.
Refactored addModifies into SmackRep.
Refactored ptr type into a virtual getter method.
Minor fix to how ZERO is created.
Moved prelude into C++ code.