Update out-of-date Debian signing key in remaining files.