Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Use python2 because scripts/gen_ir.py uses "#!/usr/bin/env python"