Allow compressed downloads

Change-Id: Ic54b2bc2738cc6adf24a4bc85cd8305b99719a15

src/main/java/com/googlesource/gerrit/plugins/gitblit/WrappedDownloadZipServlet.java

diff --git a/src/main/java/com/googlesource/gerrit/plugins/gitblit/WrappedDownloadZipServlet.java b/src/main/java/com/googlesource/gerrit/plugins/gitblit/WrappedDownloadZipServlet.java
index 5e33e30..4b5fd24 100644
--- a/src/main/java/com/googlesource/gerrit/plugins/gitblit/WrappedDownloadZipServlet.java
+++ b/src/main/java/com/googlesource/gerrit/plugins/gitblit/WrappedDownloadZipServlet.java
@@ -1,3 +1,16 @@
+// Copyright (C) 2013 The Android Open Source Project
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+// http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
 package com.googlesource.gerrit.plugins.gitblit;
 
 import com.gitblit.DownloadZipServlet;

src/main/resources/gitblit.properties

diff --git a/src/main/resources/gitblit.properties b/src/main/resources/gitblit.properties
index 5c8f6f5..4f3839a 100644
--- a/src/main/resources/gitblit.properties
+++ b/src/main/resources/gitblit.properties
@@ -32,3 +32,6 @@
 # be automatically decoded by reverse proxies and then even forbidden for security
 # reasons.
 web.mountParameters = false
+
+web.allowZipDownloads = true
+web.compressedDownloads = zip gz