Draft: Adjust links to point to git.h2t.iar.kit.edu instead of gitlab.com

Tilman Daabrequested to merge
update-github-to-h2t-git-links into main

Some links still referred to gitlab.com, where the repositories are not updated anymore and thus outdated

Merge request reports