python redirect print to stdout