Use ssh-agent for SSH authentication

stdin is not availble during the download process, so key passwords must be
handled by the ssh-agent.