Add the files needed to build debian packages to the distribution (make
dist).