waf: use print_function for Python 2

Also HTTPS for downloading waf, though Python 2 does not verify the
certificate.