my configuration for the awesome window manager