Add public GPG key used by the 17.01 release builds