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
Merge pull request #1172 from OCamlPro/curl-compress

Enable curl compression on urls.txt