Memory map splitting.
* Using results of AliasAnalysis to split memory map into disjoint regions.
* Refactoring of SmackRep to modularize memory splitting.
* Also, cleanup of prelude across SmackRep subclasses.
Merge branch 'develop' of github.com:smackers/smack into develop