add new gpg key 0xB1D142ED.