python stdin readline timeout