Support transparent compression in HTTP resource providers

[mmarx]

Unless loading an already-compressed file, the HTTP resource provider should set an Accept-Encoding: gzip header and, depending on the Content-Encoding header of the response, transparently upgrade the resource to gzip compression.

We should also have some integration tests for this, preferably without relying on actual internet connectivity (because that would break the nix build).