Cleaning up the SmackRep interface.
Merge branch 'develop' into cleaning-alloc

Conflicts:
	lib/smack/SmackRep.cpp
	lib/smack/SmackRepFlatMem.cpp
Moved most of the prelude to smack.h.
Cleaning up the prelude extraction.
Added some documentation in smack.h.
+ simple refactoring.
Merge branch 'cleaning-alloc' into develop