adds gpg key procedure, to hopefully allow for publishing