scripts/get_waf.sh: bump waf to 1.9.12 (see #114)