Only measure coverage on OS PHP

Alternative is to remove the pecl calls and use `apt install php*-pecl`
as this is now provided. We discussed and measuring the coverage
multiple times is not needed.

As a contributor I think we also prefer to not measure the coverage
already when testing with another PHP version but only in the CI.

Author: vmcj

docker-contributor/Dockerfile

@@ -81,11 +81,6 @@ WORKDIR /domjudge
 # Add PHP configuration
 COPY ["php-config", "//etc/php/7.4/fpm/conf.d"]
 COPY ["php-config", "//etc/php/7.4/cli/conf.d"]
-RUN for VERSION in $PHPSUPPORTED; do \
-        for DIR in fpm cli; do \
-            cp /etc/php/7.4/$DIR/conf.d/* /etc/php/$VERSION/$DIR/conf.d/; \
-        done; \
-    done
 
 # Disable Xdebug by default
 RUN phpdismod xdebug

docker-gitlabci/Dockerfile

@@ -56,9 +56,6 @@ RUN add-apt-repository ppa:ondrej/php -y && apt update && \
 
 # Enable pcov (code coverage) in PHP
 COPY php-config/30-pcov.ini /etc/php/7.4/cli/conf.d/
-RUN for version in $PHPSUPPORTED; do \
-        cp /etc/php/7.4/cli/conf.d/30-pcov.ini /etc/php/${version}/cli/conf.d/; \
-    done
 
 # Put the gitlab user in sudo
 RUN echo 'ALL ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers