bashrc: more comprehensive and cleaner way to preserve ssh-agent