Added UI timer mechanism.

We leverage Future for this so that we get all the callback registration and
cancellation and whatnot for free. No sense duplicating all that machinery and
probably screwing it up.
Defer highlighting all matches for 250ms.