Add a copy of waf 1.7.13
Final tweaks before upload.