Replace Chourouk's SSH key once YubiKey is allocated

[priteau]

The SSH key added in #129 is a regular ED25519 key.

Replace by an sk-ssh-ed25519 key once a YubiKey has been allocated.

[chouroukblizzard]

Done in #156