Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
updated dependencies, removed unused stuff and stdbool header [r1727]