theme switcher widget for awesome wm