patch from Phil Bordelon.) [originally from svn r8373]
function. Useful in conjunction with the new --save option to generate lots of games, extract the aux strings from the game generator, and de-obfuscate them in order to measure statistical properties of their solutions. [originally from svn r8352]