profile: Use ssh-agent for ssh keys