python stdin stdout pipe