Improve the file CONTRIBUTING.md by adding links to the gitlab project page (since the project may soon be mirrored on other platforms).