Debian packaging for docker.io