Add tinytimer.js.