config file for Awesome (lua-based window manager for linux)