Added SVCOMP-specific include file that defines VERIFIER functions. Fixes #23.
Merge branch 'fixing-ntdrivers' into develop