Add a variant of scripts/wystats that get some test result stats out of the XML unit test output from IntelliJ
Add a variant of scripts/wystats that get some test result stats out of the XML unit test output from IntelliJ

utting/whiley2boogie,utting/whiley2boogie,utting/whiley2boogie