Revert "117: don't compress p2 repo"
Revert "117: don't compress p2 repo"

This reverts commit 7d5dea6caee24905407460e39951354d6cab14e1.

LorenzoBettini/javamm,LorenzoBettini/javamm,LorenzoBettini/javamm