A simple digital timer for X11