[jhc] darcs patch: improve datalog output (and 1 more)

Fri May 8 12:25:23 PDT 2009 John Meacham * improve datalog output Fri May 8 12:25:33 PDT 2009 John Meacham * get rid of old square-stats option