Merge branch 'code-contracts' into develop
Replaced C++11 nullptr keyword with 0.
Revert "Merge branch 'code-contracts' into develop"

This reverts commit 19afd5c65dff7fa38b364ad59dd400b36943c0f1, reversing
changes made to 9dc3fd9869978503af31576d9c598e18326d2d44.

Conflicts:
	include/smack/BoogieAst.h
Refactored verifier selection and unrolling in SMACK scripts.
Added inline attribute to function definitions in our prelude.
Merge branch 'develop' into code-contracts

Conflicts:
	bin/smackgen.py
	include/smack/Contracts.h
	include/smack/Slicing.h
	include/smack/SmackInstGenerator.h
	include/smack/SmackRep.h
	include/smack/smack.h
	lib/smack/Contracts.cpp
	lib/smack/Slicing.cpp
	lib/smack/SmackInstGenerator.cpp
	lib/smack/SmackModuleGenerator.cpp
	lib/smack/SmackRep.cpp
	test/contracts/array.c
	test/contracts/array_fail.c
	test/contracts/forall.c
	test/contracts/forall_fail.c
	test/contracts/run.py
	test/contracts/simple.c
	test/contracts/simple_fail.c
Fixed logical and in contracts.