The keys currently in use are 2048-bits. To future-proof ourselves, add
new 4096-bits rsa keys. These are currently in use by the v3.15 stable
builders.