Formatting, bring back prioqueue striping
Drop intermediate foldcat in possible-worlds
Refactor op and history stuff into knossos.op, knossos.history