A simple timer that uses awesome window manager notifications