configuration for the awesome window manager