Use PolyML.SaveState instead of executable heaps

Interface in terms of "HOLHEAP" declarations in Holmakefiles stays the
same. Implementation uses hierarchical saved states. All command-line
executables should also now be compiled with polyc.

Closes #292