Add a poor man's version of timeout for Windows

It runs a tactic, and then later fails if the tactic took too long.

There seems to be a lot of churn because my emacs removes trailing spaces.  I can go back and fix that, if you want.

I'm also not at all sure that this is a particularly good way to do things, but it seems to work.