Enable curl compression on urls.txt

I had to enable it in nginx configuration as well. Gives a huge speedup for
update. We could enable it for wget as well, but then we need to gunzip by
hand
Ref: #1157