Configurations for awesome window manager.