ssh/config: specify public key