Adding gpg key for build.openrov.com