Debugger fix for time jumping

Thanks @evancz for the guidance! By keeping track of how much time we spend paused, we can offset our timers and the debugger program can perceive time without skips.

There are now hooks in the `Time.js` library. I tried to make them as safe as possible by coercing the offset to an int.
missing a paren?