cluster changes
Merge branch 'savetodisk' of https://github.com/wfi/puzzle-solver into savetodisk
pulled in time-logging changes for successor generation
delete prior fringe when done with expansion prior to merge