makefiles/docker.inc.mk: handle building in git worktree [backport 2018.10]#10307

cladmi merged 2 commits into

RIOT-OS:2018.10-branchRIOT-OS/RIOT:2018.10-branchfrom

cladmi:backport/2018.10/pr/make/docker/handle_worktreecladmi/RIOT:backport/2018.10/pr/make/docker/handle_worktreeCopy head branch name to clipboard