Fix all paths git.scc.kit.edu to gitlab.kit.edu