flush stdout explicitly in stathasher, so it works better with bidirectional pipes

This is necessary to have a bidirectional pipe with stathasher, since otherwise printf is detecting it's talking to a pipe and tries to do buffered output.