Update waf-tools and boost version numbers