added binary gpg key for debian instead of ASCII