Add missing script

Marcel Looserequested to merge
bugfix-add_missing_script into master

Added missing script in the Docker directory, that should have been added to the repository.

Merge request reports