Add all directories with license text file to list with exceptions

We should add proper REUSE-compatible license declaration to all files
in these directories, but we will to so step-by-step.
So in order to be able to run "reuse lint" in CI,
we need to temporarily add exceptions.

Author: PhilippWendler

.reuse/dep5

@@ -9,3 +9,129 @@ Files:
  java/*/*.yml
 Copyright: 2011-2020 The SV-Benchmarks community
 License: CC0-1.0
+
+Files:
+ c/Juliet_Test
+ c/array-cav19
+ c/array-crafted
+ c/array-examples
+ c/array-fpi
+ c/array-industry-pattern
+ c/array-lopstr16
+ c/array-memsafety
+ c/array-memsafety-realloc
+ c/array-multidimensional
+ c/array-patterns
+ c/array-programs
+ c/array-tiling
+ c/aws-c-common
+ c/bitvector-loops
+ c/bitvector-regression
+ c/busybox-1.22.0
+ c/eca-programs
+ c/eca-rers2012
+ c/eca-rers2018
+ c/float-benchs
+ c/float-newlib
+ c/floats-cbmc-regression
+ c/floats-cdfpl
+ c/floats-esbmc-regression
+ c/forester-heap
+ c/goblint-regression
+ c/heap-data
+ c/heap-manipulation
+ c/ldv-challenges
+ c/ldv-commit-tester
+ c/ldv-consumption
+ c/ldv-linux-3.0
+ c/ldv-linux-3.12-rc1
+ c/ldv-linux-3.14
+ c/ldv-linux-3.14-races
+ c/ldv-linux-3.16-rc1
+ c/ldv-linux-3.4-simple
+ c/ldv-linux-3.7.3
+ c/ldv-linux-4.0-rc1-mav
+ c/ldv-linux-4.2-rc1
+ c/ldv-memsafety-bitfields
+ c/ldv-multiproperty
+ c/ldv-races
+ c/ldv-sets
+ c/ldv-validator-v0.6
+ c/ldv-validator-v0.8
+ c/list-ext-properties
+ c/list-ext2-properties
+ c/list-ext3-properties
+ c/list-simple
+ c/loop-acceleration
+ c/loop-crafted
+ c/loop-floats-scientific-comp
+ c/loop-industry-pattern
+ c/loop-invariants
+ c/loop-invgen
+ c/loop-lit
+ c/loop-new
+ c/loop-simple
+ c/loops-crafted-1
+ c/memory-alloca
+ c/memsafety
+ c/memsafety-bftpd
+ c/memsafety-ext2
+ c/memsafety-ext3
+ c/nla-digbench
+ c/nla-digbench-scaling
+ c/openbsd-6.2
+ c/openssl
+ c/openssl
+ c/openssl
+ c/openssl
+ c/openssl-simplified
+ c/openssl-simplified
+ c/openssl-simplified
+ c/openssl-simplified
+ c/product-lines
+ c/psyco
+ c/pthread-C-DAC
+ c/pthread-atomic
+ c/pthread-complex
+ c/pthread-divine
+ c/pthread-driver-races
+ c/pthread-lit
+ c/pthread-memsafety
+ c/pthread-nondet
+ c/pthread-wmm
+ c/recursive
+ c/recursive-simple
+ c/recursive-with-pointer
+ c/reducercommutativity
+ c/regression
+ c/seq-mthreaded
+ c/seq-mthreaded-reduced
+ c/signedintegeroverflow-regression
+ c/sqlite
+ c/termination-15
+ c/termination-crafted
+ c/termination-crafted-lit
+ c/termination-dietlibc
+ c/termination-memory-alloca
+ c/termination-memory-alloca-todo
+ c/termination-memory-linkedlists
+ c/termination-numeric
+ c/termination-recursive-malloc
+ c/termination-restricted-15
+ c/termination-restricted-15-todo
+ c/verifythis
+ c/xcsp
+ java/MinePump
+ java/algorithms
+ java/java-ranger-regression
+ java/java-ranger-regression
+ java/jayhorn-recursive
+ java/jbmc-regression
+ java/jdart-regression
+ java/jdart-regression
+ java/jdart-regression
+ java/jpf-regression
+ java/juliet-java
+ _
+Copyright: unknown
+License: LicenseRef-in-text-file

LICENSES/LicenseRef-in-text-file.txt

@@ -0,0 +1 @@
+The license can be found in a file named License.txt (or similar) in the respective directory.