Bookmarklet that turns Google Timer into a Pomodoro Timer