Added push.default setting to .gitconfig.

Git now uses a push.default setting to control the default behaviour
when using multiple branches and pushing to a server. I have set the
default to only push the current branch (and not all branches) to the
remote, by setting push.default to 'simple'.