Changed codegen to use newest version of AST Creator
Added toString methods for VDMSet, VDMSeq and VDMMap. Also changed the underlying collections used by these classes. Finally, all library code is now been moved to a new package.