Python utilties for redirecting files - esp. stdin, stdout, and stderr