Skript für das Verpacken von generierten Informationen erstellen
Wird etwas per Docker ausgeführt, so sollen die Ergebnisse an den Server zurückgeschickt werden. Hierfür müssen die Ergebnisse verpackt werden. Es muss so z.B. ein Skript geben, welches curry-doc, pdflatex, ... aufruft und die Ergebnisdateien passend einpackt, sodass diese an den Server zurückgesendet werden können. Dieses Skript kann dann in Docker verwendet werden.
Um den Fortschritt im Git nachvollziehbar zu machen, soll ein neuer Branch angelegt werden, in den regelmäßig Updates gepushed werden (auch wenn diese nicht lauffähig sind).