Add public GPG key for user boaz to KEYS