Fix #769: index.xml.gz is not a gzip file (not compressed)

repoindex needs pretty to be unset to output a compressed stream.

Signed-off-by: Ferry Huberts <ferry.huberts@pelagic.nl>