Bring docker up to date

Ghost Userrequested to merge
master into docker

Currently, the docker branch still tries to fetch from gitlab.science.ru.nl

Merge request reports