A super simple digital timer for X11