Update developer documentation etc

This includes among others the following:

• Updates for infrastructure changes (we use GitLab now)
• Updates for URL to Git repos and build servers
• Updates to processes, e.g. how to work with GitLab
• Updates to Oomph setup to set up development environment
• Test contributions by non-committers