python read binary from stdin