bashrc: Make sure ssh-agent stays running.