git- Use older setting for push.default

Old versions of git, like the one in Ubuntu 12.04, do not have the "simple"
option, which is what I was using before.