python redirect stdout to dev null