Move from rsa to ed_25519 keys for Github

[jruedas1]

Github has moved to ed_25519 keys. Recent changes to Github's RSA host key affected only RSA key users and not ed_25519 key users. We should upgrade our setup script to match Github's latest specs.