A small Docker container for Latex compilation (based on Debian)
rkt executor for gitlab-runner
Dockerfiles to generate Images for CI build & test
