Update developer documentation etc
This includes among others the following:
-
Updates for infrastructure changes (we use Eclipse 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