Fix docker images

[AttackingOrDefending]

Type of pull request:

• [x] Bug fix
• [ ] Feature
• [ ] Other

Description:

Fix copying files in docker.

Related Issues:

closes #953

Checklist:

• [x] I have read and followed the contribution guidelines.
• [x] I have added necessary documentation (if applicable).
• [x] The changes pass all existing tests.

Screenshots/logs (if applicable):

[MarkZH]

Is this ready to merge?

[AttackingOrDefending]

Yes.