Add debian/install.