Adding User Settings to Waf