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