fixup! Update SV-COMP performance testing tool to 2020/2021

Author: tautschnig

scripts/perf-test/build.yaml

@@ -96,7 +96,7 @@ Resources:
 
                     trap poweroff EXIT
 
-                    apt-get install -y build-essential flex bison git libwww-perl curl ccache zip
+                    apt-get install -y build-essential flex bison git curl ccache zip
 
                     cd /root/
                     aws s3 cp s3://${S3Bucket}/release-build-cache/ccache.zip ccache.zip || true
@@ -157,7 +157,7 @@ Resources:
 
                     trap poweroff EXIT
 
-                    apt-get install -y build-essential flex bison git libwww-perl curl ccache zip
+                    apt-get install -y build-essential flex bison git curl ccache zip
 
                     cd /root/
                     aws s3 cp s3://${S3Bucket}/profiling-build-cache/ccache.zip ccache.zip || true