Upgrade sourceforge keys to ED25519

Sourceforge stopped supporting RSA keys in June 2022 in favor of ED25519 keys, so our keys (e.g., for bamboo agents) need to be updated.

Since the current keys are named id_rsa and id_rsa.pub, the file names will change and scripts that use them will need to be updated as well.