configuration file for Awesome Window Manager