git: Set push.default = simple, which will be the default in Git 2.0.