A very simple Pomodoro widget for awesome window manager