Docker build fails when COVINS was previously built in catkin workspace on host

[patriksc]

Building the docker image from COVINS cloned into a catkin workspace fails, if COVINS was previously built in this workspace on the host machine using the provided instructions from the manual. On a freshly cloned version of COVINS (no catkin build process executed), the docker image builds smoothly.