DOCKER-4: Give docker tasks and files some better fitting names