is there an easy, portable way in Python to get input from standard input with a timeout? select would work for my case since I don't actually care about windows, but writing needlessly non-portable code annoys me.