Switch to ed25519 as default key type

[dolmen]

ed25519 is the algorithm that GitHub recommends: https://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent