Small change to dockerfile

Merged Justin Wildschut requested to merge moveit into main

Merge request reports