third_party: Update waf to version 2.0.17