Added push.default = simple (till git 2.0 makes this the default)

git push now only pushes the current branch to its upstream branch, but refuses to push if the upstream name is different