Add a poor man's version of timeout for Windows

It runs a tactic, and then later fails if the tactic took too long.
Merge pull request #2 from JasonGross/poor-mans-timeout

Add a poor man's version of timeout for Windows