Make Debian package for PPA.