Build the Debian packages in CI.