Using Python & tkinter, is it possible to build a (platform independent) time-out on a user response?