Fix Dockerfile formatting and command order#3735

mosfet80 wants to merge 5 commits into

moveit:mainmoveit/moveit2:mainfrom

mosfet80:patch-28mosfet80/moveit2:patch-28Copy head branch name to clipboard