These are mostly updates to git repository URLs (using the new GitLab server instead of git.dune-project.org).