Tweak bash profile to include git completion script
Tweak git aliases.
Default to simple push in new git version.