scripts/get_waf.sh: added simple script to fetch latest waf