This patch adds a title to the documentation as well as some links to
the repository as well as the WebIDE for GitLab adjustments.