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.
Merge branch 'svcomp13' into memmod