Pomodoro time widget for the awesome window manager framework