chore: add all data as small zips

Author: AlexanderSchultheiss

.gitattributes

@@ -7,5 +7,3 @@
 # Denote all files that are truly binary and should not be modified.
 *.png binary
 *.jpg binary
-
-*.zip filter=lfs diff=lfs merge=lfs -text

evaluation-workdir/data/.gitignore

@@ -1,5 +1,16 @@
-*
 !.gitignore
 !esecfse22-replication.md
-!cherries.zip
+!mined-cherries.zip
+!mined-cherries.z01
+!mined-cherries.z02
+!mined-cherries.z03
+!mined-cherries.z04
+!mined-cherries.z05
+!mined-cherries.z06
+!mined-cherries.z07
+!mined-cherries.z08
+!mined-cherries.z09
+!mined-cherries.z10
+!mined-cherries.z11
+!mined-cherries.z12
 !repo-sample.zip