added # in front of stderr messages, so that we can merge stderr and stdout in the same file, and give it as input to checknorms
added # in front of stderr messages, so that we can merge stderr and stdout
in the same file, and give it as input to checknorms


git-svn-id: 189946a10c5fc96e9dd03ba7cba917cd4c3d09f4@841 de4796e2-0b1e-0410-91b4-86bc23549317

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs