Add ssh-agent to bash_profile, update linux setup