Update git repository from gitorious to gitlab

Since Gitorious has been bought by GitLab the project repository links needed to be updated. Projects hosted by repo.or.cz will remain there for hopefully a long time. Thanks to all for their repository hosting services!