Convert gdb example to use Waf.