Added Dockerfile.

Dockerfile

+FROM debian:10.2-slim
+
+MAINTAINER Klemens Schueppert "klemens.schueppert@uibk.ac.at"
+
+RUN apt-get update && apt-get install -y locales && rm -rf /var/lib/apt/lists/* \
+    && localedef -i en_US -c -f UTF-8 -A /usr/share/locale/locale.alias en_US.UTF-8
+ENV LANG en_US.utf8
+
+RUN apt update && apt install -y \
+    texlive-full \
+    && apt-get --purge remove -y .\*-doc$ \
+    && apt clean -y \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN groupadd -r compiler && useradd -r -g compiler compiler
+
+WORKDIR /home/compiler
+USER compiler:compiler
+