In order to ensure that all logs gathered do not take up
too much space on CI systems, the logs are gzipped.
In order to make them viewable via a browser from the CI
log host, the files are renamed to .txt before compressing
them.
Closes-Bug: #1620849
Change-Id: I71e629c505770b8e95a6328c79d46ab45ee0300a