Update to waf-1.7.3
Use boost::multiprecision wrapper for gmp.