GitLab-CI: add build-docker job with slimming
Change-Id: If2b9d90d28e2637fab7aa6ea525feb446f6e05d4
diff --git a/Dockerfile.remove-example-data b/Dockerfile.remove-example-data
new file mode 100644
index 0000000..4c81d23
--- /dev/null
+++ b/Dockerfile.remove-example-data
@@ -0,0 +1,4 @@
+FROM idscorpuslinguistics/derekovecs:tmp
+RUN hypnotoad -t script/derekovecs-server || true
+RUN rm -rf /usr/bin/g++* /usr/include/linux /usr/bin/gcc* /usr/bin/make /usr/lib/gcc /usr/bin/x86_64-alpine-linux*
+RUN rm -rf /derekovecs/example-models