Add dockerized ci infrastructure

Change-Id: I30c4a028c75dbbd50675312cea2861fa419c1101
Reviewed-on: https://forge.frm2.tum.de/review/18617
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>

ci/Dockerfile

@@ -0,0 +1,37 @@
+FROM debian:8 AS base
+ENV  DEBIAN_FRONTEND=noninteractive
+RUN apt-get update && \
+  apt-get upgrade && \
+  apt-get install --no-install-recommends --no-install-suggests -y \
+          gcc \
+          git \
+          openssh-client \
+          make \
+          python \
+          python-dev \
+          python-virtualenv \
+          virtualenv
+
+
+ENV LC_ALL=C.utf8
+ENV LANG=C.utf8
+ENV LANGUAGE=C.utf8
+# Add user jenkins to the image
+RUN groupadd -g 1001 jenkins && \
+    useradd -m -u 1001 -g 1001 -d /home/jenkins2 -s /bin/bash jenkins && \
+    mkdir /home/jenkins && chown jenkins:jenkins /home/jenkins && \
+    echo "jenkins:jenkins" | chpasswd
+USER jenkins
+RUN virtualenv /home/jenkins/secopvenv
+
+FROM base AS docs
+ENV  DEBIAN_FRONTEND=noninteractive
+
+RUN apt-get update && \
+   apt-get install -y --no-install-suggests --no-install-recommends \
+     texlive-latex-extra \
+     texlive-latex-base \
+     texlive-latex-recommended \
+     texlive-base \
+     texlive-binaries
+