python check if stdin is interactive