Mark compressed log files read-only

These log files shouldn't be modified once they are archived by
our log file compressor.

Change-Id: I81a96ef98cc3ad2324d935eaea9069b24315e97c
Signed-off-by: Shawn O. Pearce <sop@google.com>
diff --git a/gerrit-pgm/src/main/java/com/google/gerrit/pgm/util/LogFileCompressor.java b/gerrit-pgm/src/main/java/com/google/gerrit/pgm/util/LogFileCompressor.java
index 2e45fc5..1eb83dc 100644
--- a/gerrit-pgm/src/main/java/com/google/gerrit/pgm/util/LogFileCompressor.java
+++ b/gerrit-pgm/src/main/java/com/google/gerrit/pgm/util/LogFileCompressor.java
@@ -127,6 +127,7 @@
         } finally {
           out.close();
         }
+        tmp.setReadOnly();
       } finally {
         in.close();
       }