renamed folders in knowrob/docker to match the container identifiers used