Update to Reuse version 3

We make some specifications in .reuse/dep5 more specific
to get less warnings.
The remaining warnings that are printed are not important
and we can fix them with later versions of Reuse.

.github/workflows/reuse.yml

@@ -14,4 +14,4 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: fsfe/reuse-action@v1
+      - uses: fsfe/reuse-action@v3

.gitlab-ci.yml

@@ -189,7 +189,7 @@ javascript-eslint:
 reuse:
   stage: test
   image:
-    name: fsfe/reuse:1
+    name: fsfe/reuse:3
     entrypoint: [""]
   script:
     - reuse lint

.reuse/dep5

@@ -19,6 +19,16 @@ Files: benchexec/tablegenerator/react-table/build/vendors.min.*
 Copyright: various authors (full list is bundled and shown on Info tab)
 License: BSD-3-Clause AND CC-BY-4.0 AND MIT AND ISC
 
-Files: debian/*
+Files: debian/NEWS
+ debian/README.Debian
+ debian/benchexec.examples
+ debian/changelog
+ debian/compat
+ debian/control
+ debian/copyright
+ debian/docs
+ debian/install
+ debian/source/format
+ debian/watch
 Copyright: 2015-2020 Dirk Beyer <https://www.sosy-lab.org>
 License: Apache-2.0

debian/additional_files/lib/systemd/system/user@.service.d/benchexec.conf

@@ -1,3 +1,10 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
 [Service]
 # Delegate all controllers such that BenchExec can make use of them
 Delegate=yes