Updating waf and waf-tools