waf: remove waf from our tree

afaik debian doesn't like this...
waf: add script to download waf automatically
waf: add waf version check

this shouldn't make any different, but better safe than sorry.