dot/bash_profile: Use gnome-keyring-daemon's SSH agent if available.