Clean up URLs to point to GitLab

This moves URL references to old Trac to their corresponding GitLab counterparts.

This patch does not update the submodule library, such as libraries/Cabal.

See also !539 (merged), !606 (closed), !618 (closed)

[ci skip]