Configuration for the awesome window manager