A widget library for Awesome Window Manager