Globals are now $refs not $ptrs.
Getting rid of SMACK name string literals.
SMACK name translation now robust against C++ mangling.
Simplified preconditions by making $NULL $static.
Merge branch 'master' into memmod

Conflicts:
	include/prelude-int.bpl
	lib/smack/SmackInstGenerator.cpp
	lib/smack/SmackModuleGenerator.cpp
	lib/smack/SmackRep.cpp