bash_profile updated: now including git-autocomplete entry.