Simple kitchen timer for Linux