Typecheck buffers when emacs is idle

This change sends the buffer contents to the typechecker as soon as the user stops typing, without needing to save the buffer.

@eallik , this is what you were talking about a couple months ago. Would you be interested in trying it out?