Moved debian repo for docker to apt_repository module rather than shell