Also ignore Waf files created by Python3