Guys, I understand why we are doing this, but it makes the job of writing tests in general and .out files in particular harder and thus demotivates the users.  Now they have to basically manually edit the output of krun, it is not as easy as it used to be:

    krun pgm.imp >pgm.imp.out

We can keep it, provided we document it well in the manual, but I would still like to keep what we have now as an option (default one?).  I mean the whitespaces and the balanced parentheses.  We don't want users to suddenly have their tests fail only because we decided to pretty-print the output differently.  This opinion is not very strong, so in case you guys bring me solid argument for dropping it, I am listening.