Change debug output to stdout, so Wimp_* can be piped (into tail, for example). Use ROLF_WIMP_LOG=/dev/null if no output is interesting.
Authored by: simonwillcocks 2014-02-19
Parent: [r265]
Child: [r267]