push every normal output to /dev/null.

therefore, write timings to stderr and afterwards switch stderr and
stdout, so that rebench can read stdout
bump pycket