Update .gitkeyring to add a new sub-key, fixing pulling of this git
repository using the tools/pull script.