#446 pushT.hsを複数クライアントに対応させた

ただし今のところ実際には標準入出力を使っているためうまく動かないと思われる