waf, waflib: update to 1.7.13