Configuration file for Awesome Window Manager