rename variables
add -print-modes flag
changes to moStack.ml.  Make the random strings chosen for evaluation no
longer fixed.
lots 'o changes to fix issues with duplication detection, among other
things