mediawiki-core-code-coverage now archives clover file

For history purposes, a compressed version of clover.xml is created
which is then archived. clover.xml needs to be kept around to let the
cloverphp plugin to find out the results.

Change-Id: I4f5d26dfa81084daaf2061eb06971939ddc66ac6