Feature/faster update#35

Joschi3 wants to merge 3 commits intomastertu-darmstadt-ros-pkg/tuda_workspace_scripts:masterfrom

feature/faster_updatetu-darmstadt-ros-pkg/tuda_workspace_scripts:feature/faster_updateCopy head branch name to clipboard