Widget library for the awesome window manager