scripts/get_waf.sh: add script to fetch waf